HASH(0x7fedee5c51c8)