document.write ("1286 ");