document.write('1203\n');