document.write ("1345 ");