HASH(0x7fede65d6068)