function set_footer_position()
{
  //alert("height: " + window.innerHeight);
  var Footer_Holder = document.getElementById("footer_holder");
  var Footer = document.getElementById("footer");
  if(Footer && Footer_Holder)
  {
    Footer_Holder.style.paddingBottom=0;
	WHeight = document.body.clientHeight; //window.innerHeight
    NewTop=WHeight - Footer.offsetTop - 115;
	if(NewTop>0)
	  Footer_Holder.style.paddingTop=NewTop;
  }
}
