document.write(' 9678 ');