HASH(0x7fedc25fa928)