var bookmarkurl="http://www.groendeurtje.nl/"
var bookmarktitel="Groendeurtje.nl"
function favorieten(){
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitel)
}

function highlight()
{
  switch(window.location.href.split(".nl/")[1])
  {
    case "index.html": document.getElementById("tabs8").firstChild.childNodes[0].id = "current"; break;
    case "hetverhaal.html": document.getElementById("tabs8").firstChild.childNodes[2].id = "current"; break;
    case "route.html": document.getElementById("tabs8").firstChild.childNodes[3].id = "current"; break;
    case "contact.php": document.getElementById("tabs8").firstChild.childNodes[5].id = "current"; break;
    default: document.getElementById("tabs8").firstChild.childNodes[0].id = "current"; break;
  }
}
function toggle(e)
{
    switch(e.id)
	{
		case "imgbig": e.id=""; e.src = e.src.replace(/-big\.(gif|jpg|png|bmp)/, ".$1"); break;
	    default: e.id = "imgbig"; e.src = e.src.replace(/\.(gif|jpg|png|bmp)/, "-big.$1");
	}
}