HASH(0x7fedee6d7238)