document.write('1204\n');