document.write ("1293 ");