// JavaScript Document
function ddMenu(ddmenu) {
  var m = document.getElementById(ddmenu);
  if(m.style.display == 'none') {
    m.style.display = 'block';
  } else if(m.style.display == 'block') {
    m.style.display = 'none';
  }
  return false;
}
function dummy() {
  return false;
}