function addtofavorites() {
if (document.all)
window.external.AddFavorite("http:\/\/bedrijfsdeuren.deltadoors.nl","Bedrijfsdeuren Deltadoors");
else if (window.sidebar)
window.sidebar.addPanel("Bedrijfsdeuren Deltadoors", "http:\/\/bedrijfsdeuren.deltadoors.nl", "");
}
function vorige() {
	var subref = parent.frames[1].document.referrer;
	if(subref.indexOf("deltadoors") != -1) {
		parent.history.back();
	}
}