document.write ("1245 ");