function addtofavorites() {
if (document.all)
window.external.AddFavorite("http:\/\/www.easydeur.com","Easydeur garagedeuren");
else if (window.sidebar)
window.sidebar.addPanel("Easydeur garagedeuren", "http:\/\/www.easydeur.com", "");
}
function vorige() {
window.history.back()
}
function fix_flash_ie(){
	var objects = document.getElementsByTagName("object");
	for (var i=0; i<objects.length; i++){
	objects[i].outerHTML = objects[i].outerHTML;
	}
return true;
}