HASH(0x7fedbe5bad60)