document.write ("
1287")