document.write ("1248");