// JavaScript Document

function menuOver(n) {
  var menu = document.getElementById('m'+n);
  menu.style.backgroundColor="#0C3370";
  menu.style.color="#fff";
}

function menuOut(n) {
  var menu = document.getElementById('m'+n);
  menu.style.backgroundColor="";
  menu.style.color="#0C3370";
}

function languageBar() {
  document.write('English');
}