/* javascript functions */

/* menu functions */
function menuOn(menu) {
  document.getElementById('menu_'+menu).style.display = '';
}

function menuOff(menu) {
  document.getElementById('menu_'+menu).style.display = 'none';
}

function iMenuOn(menu) {
  document.getElementById('i_menu_'+menu).style.display = '';
}

function iMenuOff(menu) {
  document.getElementById('i_menu_'+menu).style.display = 'none';
}