tint ppr 8 $8 , ord.