document.write('1800\n');