document.write(' 5671 ');