document.write('3005\n');