HASH(0x7fee065bc788)