function frame_1_size() {
  if (navigator.appName == 'Microsoft Internet Explorer') {
    with(document.getElementById("frame_1")) {
      firstChild.width = document.body.offsetWidth-300-16-4;
      firstChild.height = 2048-4;
      style.clip = "rect(1px "+(firstChild.width-18)+"px "+(firstChild.height-2)+"px 1px)";
    }
  } else {
    with(document.getElementById("frame_1")) {
      firstChild.width = window.innerWidth-300-14;
      firstChild.height = 2048;
      style.clip = "rect(1px "+firstChild.width+"px "+firstChild.height+"px 1px)";
    }
  }
  setTimeout("frame_1_size()",100);
}
// Replaces the first child of the parent with a new object.
function ReplaceObject(data, width, height, codetype, parentid) {
  var parent = document.getElementById(parentid);
  var oldobject = parent.firstChild;
  var newobject = document.createElement("object");
  var newdata = document.createAttribute("data");
  var newwidth = document.createAttribute("width");
  var newheight = document.createAttribute("height");
  var newcodetype = document.createAttribute("codetype");
  newdata.nodeValue = data;
  newwidth.nodeValue = width;
  newheight.nodeValue = height;
  newcodetype.nodeValue = codetype;
  newobject.setAttributeNode(newdata);
  newobject.setAttributeNode(newwidth);
  newobject.setAttributeNode(newheight);
  newobject.setAttributeNode(newcodetype);
  // This is necessary because some browsers dont delete at first!
  while(parent.childNodes.length > 0) {
    parent.removeChild(parent.firstChild);
  }
  parent.appendChild(newobject);
}
// Saves a cookie.
function save(name, value, time) {
 var start = new Date();
 var end = new Date(start.getTime() + time);
 document.cookie = name+"="+value+"; expires="+end.toGMTString()+";";
}
// Loads a cookie.
function load(name, size) {
 var value = 'error';
 if (document.cookie) {
  var start = document.cookie.indexOf(name) + name.length + 1;
  var end = start + size;
  if (size != 0) {
   value = document.cookie.substring(start, end);
  } else {
   value = '';
   end++;
   var character = document.cookie.substring(start, end);
   var runner = 0;
   while (character != ";" && runner <= 1000) {
    runner++;
    value += character;
    start++;
    end++;
    character = document.cookie.substring(start,end);
   }
  }
 }
 return  value;
}