HASH(0x7fedb25d0e58)