document.write ("1274");