HASH(0x7fede25a3a28)