var imgoff = new Array();
imgoff['circle'] = "images/circle_dot_off.gif";

var imgover = new Array();
imgover['circle'] = "images/circle_dot_on.gif";

var imgon = new Array();

var imgid = new Array("circle");
                       
function restoreCircle(name) {
	obj = document.getElementById(name)
	if (obj != null)
		obj.src = imgoff['circle'];
}
	
function swapCircle(name) {
	obj = document.getElementById(name)
	if (obj != null)
		obj.src = imgover['circle'];
}


var load=new Array()
function preloadimages(){
	for (i=0;i<preloadimages.arguments.length;i++){
	load[i]=new Image()
	load[i].src=preloadimages.arguments[i]
	}
}
preloadimages(
	"images/circle_dot_off.gif",
	"images/circle_dot_on.gif"
	);