HASH(0x7fedb25dbdc0)