document.write('7671 ');