HASH(0x7fede4530c48)