function MM_preloadImages() { //v3.0
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}

function MM_swapImgRestore() { //v3.0
  var i,x,a=document.MM_sr; for(i=0;a&&i<a.length&&(x=a[i])&&x.oSrc;i++) x.src=x.oSrc;
}

function MM_findObj(n, d) { //v4.01
  var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {
    d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}
  if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
  for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document);
  if(!x && d.getElementById) x=d.getElementById(n); return x;
}

function MM_swapImage() { //v3.0
  var i,j=0,x,a=MM_swapImage.arguments; document.MM_sr=new Array; for(i=0;i<(a.length-2);i+=3)
   if ((x=MM_findObj(a[i]))!=null){document.MM_sr[j++]=x; if(!x.oSrc) x.oSrc=x.src; x.src=a[i+2];}
}

<!------------Replaces Target Attribute------------>
function externallinks()
{
    var c=document.getElementById('sidenav');
    if(c)
    {
        var ls=c.getElementsByTagName('a');
        for(var i=0;i<ls.length;i++){
            if(ls[i].getAttribute('rel')=='external')
            {
                ls[i].className+=ls[i].className?' extlink':'extlink';
                ls[i].title+='(opens in new window)';
                ls[i].onclick=function(){window.open(this.href);return 
false}
            }
        }
    }
}
// which  gets called when the page is loaded.
window.onload=function(){
    if(!document.getElementById && !document.createTextNode){return;}
    externallinks();
}



<!------------Random Image Loader for Banner------------>
var theImages = new Array()

theImages[0] = 'images/skyline_london.jpg'
theImages[1] = 'images/skyline_budapest.jpg'
theImages[2] = 'images/skyline_edinburgh.jpg'
theImages[3] = 'images/skyline_rome.jpg'

// do not edit anything below this line

var j = 0
var p = theImages.length;
var preBuffer = new Array()
for (i = 0; i < p; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theImages[i]
}
var whichImage = Math.round(Math.random()*(p-1));
function showImage(){
document.write('<img src="'+theImages[whichImage]+'">');
}

var theImages2 = new Array()

theImages2[0] = 'images/top_image1.jpg'
theImages2[1] = 'images/top_image2.jpg'
theImages2[2] = 'images/top_image3.jpg'
theImages2[3] = 'images/top_image4.jpg'

// do not edit anything below this line

var j = 0
var p = theImages2.length;
var preBuffer = new Array()
for (i = 0; i < p; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theImages2[i]
}
var whichImage = Math.round(Math.random()*(p-1));
function showImage2(){
document.write('<img src="'+theImages2[whichImage]+'">');
}



<!------------Correct Resizing of Tabs------------>
function correct_behavior(){
  		a_tabbar.setOnSelectHandler(function(id){
                   var box=this._content[id];
               if (!box) return;
               box.style.height="1px";
                   var y=box.scrollHeight+10;
                   box.style.height="100%";
                  this.setSize(643,y,true);   
                  return true;
       });
}