HASH(0x7fedda6d4510)