HASH(0x7fede26d5d40)