document.write(' 7842 ');