document.write('6080\n');