function setPauseButton(slideshow, pausebutton)
{

  if(typeof(pausebutton) != 'object')
    pausebutton = document.getElementById(pausebutton);
  
  if(pausebutton != undefined)
  {   
    if(slideshow.isRunning())
    {
      pausebutton.src = './images/inhoud/pauze.gif';
    }
    else
    {
      pausebutton.src = './images/inhoud/play.gif';
    }
  }
}

function togglePause(slideshow)
{
  slideshow.togglePause();
}


function gotoSlide(slideshow, slide)
{
  slideshow.gotoSlide(slide, false, true);
}


function nextSlide(slideshow)
{
  slideshow.nextSlide(false, true);
}

function previousSlide(slideshow)
{
  slideshow.previousSlide(false, true);
}