writeInput_a_float64
writeInput_a_float64();
writeInput_a_float64();
writeInput_a_float64();
writeInput_a_float64();
writeInput_a_float64();
writeInput_a_float64();