d.write(" $\"print\"$ "); // d.write("A "); // d.write("A "); // d.write("A");