HASH(0x7fedfe5eca18)