HASH(0x7fedc66463c0)