document.write('10014')