document.write('10094 ');