document.write ("1246 ");