document.write('3001\n');