document.write('3082\n');