document.write('9994 ');