document.write('9943 ');