//
// addLoadEvent()
// Adds event to window.onload without overwriting currently assigned onload functions.
// Function found at Simon Willison's weblog - http://simon.incutio.com/
//
function addLoadEvent(func)
{	
	var oldonload = window.onload;
	if (typeof window.onload != 'function'){
    	window.onload = func;
	} else {
		window.onload = function(){
		oldonload();
		func();
		}
	}

}

function toggle(checkboxName) {
    checkBox = document.getElementById(checkboxName);
    if (checkBox) {
        checkBox.checked = !checkBox.checked;
    }
    else {
        alert("Error: Could not locate div with id: " + checkboxName);
    }
}

function onLoad() {}