imgHi = new Image(); imgHi.src = "/images/high.gif";
imgLo = new Image(); imgLo.src = "/images/low.gif";
imgHiS = new Image(); imgHiS.src = "/images/highp.gif";
imgLoS = new Image(); imgLoS.src = "/images/lowp.gif";
transGifSrc = "/images/trans.gif";
umbruch = 34; // Umbruch nach der angegebenen Anzahl an Zeichen
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
function startt(){
var zeit = new Date();
start = zeit.getMilliseconds();
}
function stopt(){
var zeit = new Date();
stop = zeit.getMilliseconds();
//alert(start/1000+", "+stop/1000);
//alert((stop-start)/1000);
}
//+++ Menu erzeugen ++++++++++++
menuInitOK=false; //globale vari, ob das menu vollständig ist
var lineHeights = new Array();
function erzeugeMenu(ebene1,ebene2,xPos,yPos){
var menuID = (ebene2==0)?String(ebene1):ebene1+"_"+ebene2;
var imgRefEbene2 = new Array(); //hier werden die img-Namen reinkopiert, um die globale JS Referenz auf die img zu ermöglichen
var imgRefEbene1 = new Array(); //hier werden die img-Namen reinkopiert, um die globale JS Referenz auf die img zu ermöglichen
var ausgabepuffer1 = '
\n';
//schreiben
document.write(ausgabepuffer1);
if(ebene2==0){ //ebene 1 menu erzeugen
lineHeights[ebene1] = new Array();
for(var i=1;eval("i