function setWinkel(winkel) {
	var myAjax = new Ajax.Updater('ajax_download', 'addons/addon.plattegrond/class.php', {method: 'get', parameters: 'ajax=download&winkel=' + winkel});
}

function showTelefoon() {
	if($('telefoon_id').innerHTML == '') {
		$('telefoon_nr_ov').style.display='none';
	}
}
function showWebsite() {
	if($('website_id').innerHTML == '') {
		$('website_nr_ov').style.display='none';
	}
}