document.write ("1342 ");