function open_image(w_file, width, height) { var info_win = window.open(w_file,"image","width=" + width + ",height=" + height + ",screenX=150,screenY=50,menubar=no,status=no");};function open_window(w_file,breit,hoch) { var info_win = window.open(w_file,"neu","width=" + breit + ",height=" + hoch + ",toolbar=no,directories=no,menubar=no,scrollbars=yes,status=no,resizable=yes");};function print(w_file, width, height) { var print_win = window.open(w_file,"print","width=" + width + ",height=" + height + ",toolbar=no,directories=no,menubar=yes,scrollbars=yes,status=yes,resizable=yes");};function doSearch(frm, btn){ if (frm.Query1.value == '') {  alert( "Bitte gib einen Suchbegriff ein." );  frm.Query1.focus();  } else {  btn.disabled=true;  btn.value='Warten ';  window.location.href="/web/dokumente/?SearchView&SearchFuzzy=true&Query=" + escape(frm.Query1.value);  }}function open_popup(w_file) { /*var popup_win = window.open(w_file,"popup","toolbar=no,directories=no,menubar=no,scrollbars=yes,status=no,resizable=yes");*/  var popup_win = window.open("/web/image.html?readform&image=" + w_file,"popup","toolbar=no,directories=no,menubar=no,scrollbars=yes,status=no,resizable=yes");};/* The BarChart can be reused as long as the   copyright notice is not removed:   BarChart Object - Copyright 1999 InsideDHTML.com, LLC   For more information, see www.insideDHTML.com*/function BarChart_AddValue(label, value,color ) {  var newItem = this.valueList[this.valueList.length] = new Object  newItem.label = label  newItem.value = value  newItem.color = color ? color : "black"  return newItem}function BarChart_HTMLLabel(barItem,label,format) {  str="<TD nowrap valign=middle>"  str+= "<FONT FACE='" + format.fontFace + "' SIZE='" + format.fontSize + "'>"  str+="&nbsp;" + barItem.label   str+=" (" + barItem.value + " " + label + ")&nbsp;&nbsp;</FONT></TD>"  return str}function BarChart_Draw() {  var str = "<TABLE CELLSPACING=0 BORDER=0 CELLPADDING=1 "  if (this.bgColor!="")    str+=" BGCOLOR='" + this.bgColor + "'"  str+=">"  if (this.caption.value!="") {    str+="<CAPTION ALIGN='" + this.caption.alignment + "'>"    str+="<FONT FACE='" + this.caption.fontFace + "'>"     str+=this.caption.value + "</A></CAPTION>"  }  var totalValue = 0  for (var i=0;i < this.valueList.length;i++)     totalValue+=this.valueList[i].value  str+="<TD ROWSPAN=" + this.valueList.length+1 + "></TD>"  var iPercent  for (var i=0;i < this.valueList.length;i++) {    str+="<TR>"    if (this.label.orientation!="right")      str+=BarChart_HTMLLabel(this.valueList[i],this.unitLabel,this.label)    str+="<TD ALIGN='" + this.barHOrientation + "' valign=middle>"    iPercent = this.valueList[i].value/totalValue    str+="<TABLE BGCOLOR='" + this.valueList[i].color + "' CELLSPACING=0 "    str+="CELLPADDING=0 HEIGHT=" + this.barHeight     str+=" WIDTH=" + Math.round(iPercent*this.barWidth)+ ">"    str+="<TR><TD><FONT SIZE=1> </FONT></TD></TR></TABLE>"    str +="</TD>"    if (this.label.orientation=="right")      str+=BarChart_HTMLLabel(this.valueList[i],this.unitLabel, this.label)    str +="</TR>"  }  str +="</TABLE>"  return str}function BarChart_SetCaption(caption, alignment, fontFace) {  this.caption.value = caption  this.caption.alignment = alignment ? alignment : "left"  if (fontFace)    this.caption.fontFace = fontFace  return this.caption}function BarChart_FormatLabel(orientation, fontSize, fontFace) {  this.label.orientation = orientation  if (fontSize!=null)    this.label.fontSize = fontSize  if (fontFace)    this.label.fontFace = fontFace  return this.label}function BarChart() {  this.label = this.caption = new Object  this.valueList = new Array()  this.addValue = BarChart_AddValue  this.barWidth = 200  this.barHeight=20  this.bgColor=""  this.barHOrientation = "left"  this.formatLabel = BarChart_FormatLabel   this.formatLabel("left","-1","Verdana")  this.setCaption = BarChart_SetCaption  this.setCaption("","top","Verdana")  this.draw = BarChart_Draw}function addEngine() { if (window.external && ("AddSearchProvider" in window.external)) {   // Firefox 2 and IE 7, OpenSearch   window.external.AddSearchProvider("http://news4notes.com/web/news4notes.xml"); } else if (window.sidebar && ("addSearchEngine" in window.sidebar)) {   // Firefox <= 1.5, Sherlock   window.sidebar.addSearchEngine("http://news4notes.com/web/news4notes.src",                                  "http://news4notes.com/web/news4notes.gif",                                  "News4Notes", "Lotus Notes/Domino"); } else {   // No search engine support (IE 6, Opera, etc).   alert("No search engine support"); }}/* * This is the function that actually highlights a text string by * adding HTML tags before and after all occurrences of the search * term. You can pass your own tags if you'd like, or if the * highlightStartTag or highlightEndTag parameters are omitted or * are empty strings then the default <font> tags will be used. */function doHighlight(bodyText, searchTerm, highlightStartTag, highlightEndTag) {  // the highlightStartTag and highlightEndTag parameters are optional  if ((!highlightStartTag) || (!highlightEndTag)) {    highlightStartTag = "<font style='color:blue; background-color:yellow;'>";    highlightEndTag = "</font>";  }    // find all occurences of the search term in the given text,  // and add some "highlight" tags to them (we're not using a  // regular expression search, because we want to filter out  // matches that occur within HTML tags and script blocks, so  // we have to do a little extra validation)  var newText = "";  var i = -1;  var lcSearchTerm = searchTerm.toLowerCase();  var lcBodyText = bodyText.toLowerCase();      while (bodyText.length > 0) {    i = lcBodyText.indexOf(lcSearchTerm, i+1);    if (i < 0) {      newText += bodyText;      bodyText = "";    } else {      // skip anything inside an HTML tag      if (bodyText.lastIndexOf(">", i) >= bodyText.lastIndexOf("<", i)) {        // skip anything inside a <script> block        if (lcBodyText.lastIndexOf("/script>", i) >= lcBodyText.lastIndexOf("<script", i)) {          newText += bodyText.substring(0, i) + highlightStartTag + bodyText.substr(i, searchTerm.length) + highlightEndTag;          bodyText = bodyText.substr(i + searchTerm.length);          lcBodyText = bodyText.toLowerCase();          i = -1;        }      }    }  }    return newText;}/* * This is sort of a wrapper function to the doHighlight function. * It takes the searchText that you pass, optionally splits it into * separate words, and transforms the text on the current web page. * Only the "searchText" parameter is required; all other parameters * are optional and can be omitted. */function highlightSearchTerms(searchText, treatAsPhrase, warnOnFailure, highlightStartTag, highlightEndTag){  // if the treatAsPhrase parameter is true, then we should search for   // the entire phrase that was entered; otherwise, we will split the  // search string so that each word is searched for and highlighted  // individually  if (treatAsPhrase) {    searchArray = [searchText];  } else {    searchArray = searchText.split(" ");  }    if (!document.body || typeof(document.body.innerHTML) == "undefined") {    if (warnOnFailure) {      alert("Sorry, for some reason the text of this page is unavailable. Searching will not work.");    }    return false;  }    var bodyText = document.body.innerHTML;  for (var i = 0; i < searchArray.length; i++) {    bodyText = doHighlight(bodyText, searchArray[i], highlightStartTag, highlightEndTag);  }    document.body.innerHTML = bodyText;  return true;}/* * This function takes a referer/referrer string and parses it * to determine if it contains any search terms. If it does, the * search terms are passed to the highlightSearchTerms function * so they can be highlighted on the current page. */function highlightGoogleSearchTerms(referrer){  // This function has only been very lightly tested against  // typical Google search URLs. If you wanted the Google search  // terms to be automatically highlighted on a page, you could  // call the function in the onload event of your <body> tag,   // like this:  //   <body onload='highlightGoogleSearchTerms(document.referrer);'>    //var referrer = document.referrer;  if (!referrer) {    return false;  }    var queryPrefix = "q=";  var startPos = referrer.toLowerCase().indexOf(queryPrefix);  if ((startPos < 0) || (startPos + queryPrefix.length == referrer.length)) {    return false;  }    var endPos = referrer.indexOf("&", startPos);  if (endPos < 0) {    endPos = referrer.length;  }    var queryString = referrer.substring(startPos + queryPrefix.length, endPos);  // fix the space characters  queryString = queryString.replace(/%20/gi, " ");  queryString = queryString.replace(/\+/gi, " ");  // remove the quotes (if you're really creative, you could search for the  // terms within the quotes as phrases, and everything else as single terms)  queryString = queryString.replace(/%22/gi, "");  queryString = queryString.replace(/\"/gi, "");    return highlightSearchTerms(queryString, false);}