// By Kyrre Amanaborg (kyrre$innovitae.no)

// This function will switch between the active play button (green) and the passive one.
function changeButton(button, changeTo) {
   //var activePlaySrc = '".OTHER_GFXBASE."slideshow/Start_3.gif';
   //var passivePlaySrc = '".OTHER_GFXBASE."slideshow/Start_1.gif';
   //if(start) button.src = activePlaySrc;
   //else buttonName.src = passivePlaySrc;     
   button.src = changeTo;
}


function mouseoverButton(buttonName, mouseoutButton, mouseoverButton) {
   if(buttonName.src == mouseoutButton) {
      buttonName.src = mouseoverButton;
   }
}

function mouseoutButton(button, mouseoutButton, mouseoverButton) {
   if(button.src == mouseoutButton) {
      button.src = mouseoverButton;
   }
}

function nothing() {
}

function magnify(screen, image) {
   screen.style.display = block;
   screen.style.zIndex = 1;
   screen.src = image;  
}