HASH(0x7fede65e88c0)