//begin muiskop.js


/*
Highlight Link script

*/

function highlight(which,color){
if (document.all||document.getElementById)
which.style.backgroundColor=color
}

//eind muisknop.js