HASH(0x7fedd2661140)