document.write ("3112 ");