window.onload = function() {
//  $("debug").toggle();
}

document.observe("dom:loaded", function() {
  setHeaderBg();
});

/*
function setHeaderBg()
{
  //random integer beetween 0 and 15
  var rand_no = Math.ceil(25*Math.random());
  $("header").setStyle({
    background: "url(../images/header" + rand_no + ".jpg)"
  });
}
*/
function ToggleBlind(el)
{
  if( Element.visible(el) ) {
    Effect.BlindUp(el);
  } else {
    Effect.BlindDown(el);
  }
}