document.write('19200\n');