document.write('9142 ');