HASH(0x7fedbe5d4210)