document.write('1000\n');