HASH(0x7fedee99fd18)