public static void print(double x){
  out.print(x);
  out.flush();
}

public static void print ( double x ) { out . print ( x ) ; out . flush ( ) ; }
prints a double to standard output and flushes standard output .
