document.write(' 11671 ');