HASH(0x7fedc2645ed0)