function $() {
	var elements = new Array();
	for (var i = 0; i < arguments.length; i++){
		var element = arguments[i];
		if (typeof element == 'string'){ element = document.getElementById(element); }
		if (arguments.length == 1){ return element; }
		elements.push(element);
	}
	return elements;
}

function fixSize(){
	var sideBar = $("right")?$("right").scrollHeight+10:0;
	//$("searchval").value = sideBar;
	
	var mainSide = $("mainContent"); var rightSide = $("right");
	var mainHeight = mainSide.scrollHeight;
	//$("searchval").value += " | " + mainHeight;
	
	if(mainHeight<sideBar){ mainSide.style.height = sideBar + "px"; }
	else { rightSide.style.height = mainHeight - 30 + "px"; }
}