// No built in trim() function for strings.
function trim(stringToTrim) {
	return stringToTrim.replace(/^\s+|\s+$/g,"");
}

// Toggle the display property of an element. Usually a div.
function toggleElement(elemID, show){
	if(show){
		document.getElementById(elemID).style.display = "";
	}else{
		document.getElementById(elemID).style.display = "none";
	}
}