document.write('12040')