document.write(' 10675 ');