document.write('3000\n');