document.write(' 6707 ');