document.write('10707 ');