HASH(0x7fee07805e50)