HASH(0x7fede65c5248)