HASH(0x7fedd059ee38)