<!--

// Cross-browser object selection
function findDOM(objectID, withStyle) {
	if (withStyle) {
		if (document.getElementById) return (document.getElementById(objectID).style) ; 
		else if (document.all) return (document.all[objectID].style); 
		else if ((navigator.appName.indexOf("Netscape") != -1) && (parseInt(navigator.appVersion) == 4)) return (document.layers[objectID]); 
	}
	else {
		if (document.getElementById) return (document.getElementById(objectID)) ; 
		else if (document.all) return (document.all[objectID]); 
		else if ((navigator.appName.indexOf("Netscape") != -1) && (parseInt(navigator.appVersion) == 4)) return (document.layers[objectID]); 
	}
}

// Return the available content height space in browser window

function getInsideWindowHeight() {
	var isIE6CSS = (document.compatMode && document.compatMode.indexOf("CSS1") >= 0) ? true : false;
    if (window.innerHeight) {
        	return window.innerHeight;
    } 
	else if (isIE6CSS) {
        // measure clientHeight of the html element 
        	return document.body.parentElement.clientHeight
    } 
	else if (document.body && document.body.clientHeight) {
        return document.body.clientHeight;
    }
    return 0;
}


function setHeight(ht_min) {
var atts=findDOM("setHeight",1);
if (ht_min == undefined) 
{
ht_min = 1700;
}
var insideWindowHeight = getInsideWindowHeight();
if (insideWindowHeight > ht_min) {
        ht_min=insideWindowHeight+20;
        atts.height=ht_min + "px";
}
}

//-->