document.write ("1267 ");