document.write('6526\n');