HASH(0x7fede65ae3e0)