HASH(0x7fede668cb58)