HASH(0x7fedd25c8048)