document.write(' 6747 ');