function makeCloseLinks(){var container;
if(document.getElementById("is24-page-functions")){var container=document.getElementById("is24-page-functions")
}else{return false
}var closeContainer=document.createElement("li");
closeContainer.id="is24-close";
closeContainer.innerHTML='<a href="javascript:window.close();">Fenster schlie&szlig;en</a>';
container.appendChild(closeContainer)
}makeCloseLinks();