document.write("\n"); document.write("\n"); document.write("\n"); document.write("\n"); document.write("

$\"Mypro_01\"$

\n");