document.write('3090\n');