HASH(0x7f5cecff07b0)