document.write(' 10707 ');