HASH(0x7fedca59e3d0)