function naviRelocate (key, url)
{
  var depths = 0;
  pointer = self;
  while(depths < 6)
  {
    pointer = pointer.parent;
    if(typeof(pointer.frames["leftFrame"]) != "undefined" && typeof(pointer.frames["leftFrame"].setMenu) == "function")
    {
      pointer.frames["leftFrame"].setMenu( key, url, '' );
    }
    depths++;
  }
}

  
function confirmDialog (txt)
{
  return confirm (txt);
}


	function iBrams_addLoadEvent(func) 
	{
	  var oldonload = window.onload;
	  
	  if (typeof window.onload != 'function') 
	  {
	    window.onload = func;
	  } 
	  else 
	  {
	    window.onload = function() 
	    {
	      if (oldonload) 
	      {
	        oldonload();
	      }
	      func();
	    }
	  }
	}

// ----------- Some multi-purpose enhancements -------------
// Sometimes you think you should have some nice array handling functions in JS as in PHP.
// So, why not. This code works fine on every of our supported browsers.

if (!Array.indexOf) 
{
  Array.prototype.indexOf = function(anObject) {
    for (var i = 0, length = this.length; i < length; i++)
      if (this[i] == anObject) return i;
    return -1;
  }
}