HASH(0x7fedbe58ca60)