HASH(0x7fedbe5ca328)