HASH(0x7fee18534c40)