	var num;

	function changeDiv(the_div,the_change) {
		if ((document.getElementById) || (document.all)) {
			var the_style = getStyleObject(the_div);
			if (the_style != false) {
				the_style.display = the_change;
			}
		}
	}

	function getStyleObject(objectId) {
		if (document.getElementById && document.getElementById(objectId)) {
			return document.getElementById(objectId).style;
		} else if (document.all && document.all(objectId)) {
			return document.all(objectId).style;
		} else {
			return false;
		}
	}