function changeId(element, changeid){
document.getElementsById(element).id=changeid
}
function initialize() {
if (document.getElementById('map'))
document.getElementById('map').innerHTML = '
Grotere kaart weergeven';
}
function tabhover(element, value) {
if (document.getElementById(element)) {
document.getElementById(element).style.display = value; return false;
}
}