document.write ("
1271")