document.write ("
1248")