HASH(0x7fedfe6dae48)