document.write('6524\n');