document.write('1289\n');