printf ("%8.4f", 12.123456);