HASH(0x7fedfe5c7068)