HASH(0x7fedfe5b3de8)