document.write('1201\n');