document.write('6783\n');