// This function will add an onload handler to the body.  It's fine to
// add a bunch of handlers, this keeps track of all of them.
function add_body_onload(func) {
  var old_body_onload=window.onload;
  window.onload=function() {
    if (old_body_onload) { old_body_onload(); }
    func();
  }
}

var isIE=(navigator.appName.indexOf('Microsoft')!=-1);
var ie_version=0;
if (isIE) {
	var p=navigator.userAgent.match(/MSIE (\d+\.\d+)/);
	if (p) {
		ie_version=parseFloat(p[1]);
	}
}