HASH(0x7fedfe5fc5a0)