document.write ("1012 ");