// Initialize Scripts - is this a browser that understands DOM?
function scriptInit() {
  if (!document.getElementById) {
	return;
  }
}

// Set up Event Listener - the script that allows us to use the addEvent call below
function addEvent(elm, evType, fn, useCapture) {
	if (elm.addEventListener) {
	elm.addEventListener(evType, fn, useCapture);
	return true;
	} else if (elm.attachEvent) {
	var r = elm.attachEvent('on' + evType, fn);
	return r;
	} else {
	elm['on' + evType] = fn;
	}
}

// this function returns the document height
function getDocHeight() {

  if (document.body)
  {
    docHeight = document.body.clientHeight;
    if (!isNaN(docHeight)) 
      return docHeight;
    else
      return self.innerHeight;
  }
  else if (self)
  {
    return self.innerHeight;  //  + 4
  }
}

function setMinHeight() {
  var fullheight = getDocHeight();

  var div = document.getElementById('prop');
  div.style.height = fullheight - 362 +'px';
  
  
}

// Events to run the Script (load+resize <- this is important!!!)
addEvent(window, 'load', setMinHeight, false);
addEvent(window, 'resize', setMinHeight, false);