document.write ("12704 ");