HASH(0x7fedc65e4cf0)