HASH(0x7fedbe58e7e8)