function setLayerHeight() {
	if (typeof(document.all)=='object') {
		layer = document.all;
		layer.infobox.style.height = layer.content.clientHeight;
		layer.contentlinks.style.height = layer.content.clientHeight;
	} else {
	
//	if (typeof(document.getElementById('infobox')=='object' && typeof(document.all)!='object') {
		content = document.getElementById('content');
		infobox = document.getElementById('infobox');
		contentlinks = document.getElementById('contentlinks');
		// alert(content.style.height);
		infobox.style.height = infobox.offsetHeight; //document.getElementById('content').style.clientHeight;
		document.getElementById('contentlinks').style.height = document.getElementById('content').style.clientHeight; 
	}	
}