document.write ("1248 ");