HASH(0x7fedbe5e6ab0)