writeInput_a_floatx80
writeInput_a_floatx80();
writeInput_a_floatx80();
writeInput_a_floatx80();
writeInput_a_floatx80();
writeInput_a_floatx80();
writeInput_a_floatx80();