HASH(0x7fedbe5ce520)