function leeren(text){if(text.defaultValue==text.value){text.value="";}}
function href(link) {window.location = link;}
function href_blank(link) {window.open(link);}