HASH(0x7fede65cf4d0)