var PopUp = window.createPopup();
function ToonTip(){
    var vboven = event.offsetY-200;
    var vlinks = event.offsetX+20;
    PopUp.document.body.innerHTML = MijnTip.innerHTML; 
    PopUp.show(vlinks, vboven, 300, 250, ttip);}
function ToonTip1(){
    var vboven = event.offsetY-100;
    var vlinks = event.offsetX+20;
    PopUp.document.body.innerHTML = MijnTip1.innerHTML; 
    PopUp.show(vlinks, vboven, 330, 110, ttip1);}

function Back()
{
history.go(-1);
}


function change(color){
var el=event.srcElement
if (el.tagName=="INPUT"&&el.type=="button")
event.srcElement.style.backgroundColor=color
}


function jumpto2(url){
window.location=url
}