4656 double.in double.out