document.write('2689\n');