document.write ("1271 ");