function menuimages (toggle,button)
{
  obj= document.getElementById(button);
  if(toggle==1)obj.src="images/mb-"+button+"-sel.jpg";
  if(toggle==0)obj.src="images/mb-"+button+"-un.jpg";
}
function menucolor (toggle,title)
{
  try{
    obj= document.getElementById(title);
    if(toggle==1)obj.style.background="#b0d0ff";
    if(toggle==0)obj.style.background="#ffffff";
  } catch(menuitemcurrentpage) {return;};
}
function stayon (menuitem)
{
  obj= document.getElementById(menuitem);
  obj.style.background="#b0d0ff";
  obj.id="currentpage";
};