function resize_iframe(xid,marg)
{
//resize the iframe according to the size of the window
document.getElementById(xid).height = document.body.clientHeight - marg;
}