void badprt(double total);