function fixcompatframe() {
   if (document.all) { // IE, possibly mozilla
      var margin = 200;
      document.all["compatframe"].style.height = document.body.clientHeight - margin;
   } else if (document.getElementById && !document.all) { // NS, others
      var margin = 200;
      document.getElementById("compatframe").style.height = window.innerHeight - margin;
   }
}