document.write('7842 ');