document.write('6542\n');