document.write(' 6742 ');