document.write('14082\n');