HASH(0x7fedce5bda98)