// JavaScript Document
var G_ch=document.documentElement.clientHeight;
document.getElementById("wrap").style.height=document.documentElement.clientHeight-100-40+"px";