HASH(0x7fedd2671140)