HASH(0x7f5cfcc6b0d0)