document.write('3002\n');