HASH(0x7fee32571838)