HASH(0x7fedd2583c18)