HASH(0x7fedd4515508)