document.write(' $\"03\"$ '); document.write(' ');document.write(' $\"02\"$ '); document.write(' ');document.write(' $\"01\"$ '); document.write(' ');