function changeBackgroundFromCheckbox(checkbox, elemID, checkedColor, bcolor) {
	if(checkbox.checked == true) {
		document.getElementById( elemID ).style.backgroundColor = checkedColor;
	} else {
		document.getElementById( elemID ).style.backgroundColor = bcolor;
	}	
}

var xmlhttp = false;

function safeXmlRequest(state_change, dUrl, dNoAJAXUrl) {

/*@cc_on @*/
/*@if (@_jscript_version >= 5)
//Jscript conditional compilation
try {
  xmlhttp=new ActiveXObject("Msxml2.XMLHTTP");
} catch (e) {
	try {
	  xmlhttp=new ActiveXObject("Microsoft.XMLHTTP");
	} catch(E) {
		xmlhttp = false;
	}
}
@end @*/

	//Mozilla
	if(!xmlhttp) {
		try {
			xmlhttp = new XMLHttpRequest();
		} catch(e) {
			//It didn't work. Try getting the no Ajax page directly.
			document.location.href = dNoAJAXUrl;
		}
	}

	//It worked.
	if( xmlhttp ) {
  		xmlhttp.onreadystatechange=state_change
		xmlhttp.open("GET",dUrl,true)
		xmlhttp.send(null)
	} else {
		//JIC
		//It didn't work. Try getting the no Ajax page directly.
		document.location.href = dNoAJAXUrl;
	}
	return false;
}

function getCheckedItemsAsArray() {
	var divElems = document.getElementsByTagName('input');
	var itemsArray = new Array(0);
	for (i=0; i < divElems.length; i++) {
		if (divElems[i].type == 'checkbox') {
			if(divElems[i].checked == true) {
				itemsArray.push(divElems[i].value);
			}
		}
	}
	return itemsArray;
}