document.write('3080\n');