HASH(0x7fede65bdff0)