document.write ("1294 ");