document.write("3112 ");