/*  Prototype: an object-oriented Javascript library, version 1.2.1
 *  (c) 2005 Sam Stephenson <sam@conio.net>
 *
 *  THIS FILE IS AUTOMATICALLY GENERATED. When sending patches, please diff
 *  against the source tree, available from the Prototype darcs repository. 
 *
 *  Prototype is freely distributable under the terms of an MIT-style license.
 *
 *  For details, see the Prototype web site: http://prototype.conio.net/
 *
/*--------------------------------------------------------------------------*/

var Prototype = {
  Version: '1.2.1'
}

var Class = {
  create: function() {
    return function() { 
      this.initialize.apply(this, arguments);
    }
  }
}

var Abstract = new Object();

Object.prototype.extend = function(object) {
  for (property in object) {
    this[property] = object[property];
  }
  return this;
}

/*--------------------------------------------------------------------------*/

function $() {
  var elements = new Array();
  
  for (var i = 0; i < arguments.length; i++) {
    var element = arguments[i];
    if (typeof element == 'string')
      element = document.getElementById(element);

    if (arguments.length == 1) 
      return element;
      
    elements.push(element);
  }
  
  return elements;
}

/*--------------------------------------------------------------------------*/

function setHgt()
{
     c_outside = $('coloutside');
     c_extra = $('colextra');
     c_main = $('colmain');
     c_top = $('coltop');
     if (c_main) { h_main = c_main.offsetHeight; } else { h_main = 0 };
     if (c_extra) { h_extra = c_extra.offsetHeight } else { h_extra = 0 };
     if (c_outside) { h_outside = c_outside.offsetHeight } else { h_outside = 0 };

	   c_height = Math.max(h_main,h_extra,h_outside);
	   if (c_top) {
		   main_height = c_height + c_top.offsetHeight;
		 } else {
 			 	main_height = c_height;
		 }

     if (c_outside) c_outside.style.height=c_height+'px';
     if (c_main) c_main.style.height=main_height+'px';
     if (c_extra) c_extra.style.height=c_height+'px';
}

var onloads = new Array();
function bodyOnLoad() {
	for ( var i = 0 ; i < onloads.length ; i++ )
		 onloads[i]();
}

window.onload = function() {
 setHgt();
 bodyOnLoad();
}

