HASH(0x7fee225e1370)