document.write(' 6708 ');