HASH(0x7f7ab44de1e0)