document.write ("
1273")