printf ("%4.4f", 12.123456);