HASH(0x7fedca665ed8)