HASH(0x7fedda5ed0a8)