document.write(' 7671 ');