HASH(0x7fee337de7b0)