HASH(0x7fedd25f3c58)