var greendot_on = new Image(12,15);
		greendot_on.src = "images/graphic-greendot.gif";
	var greendot_off = new Image(12,15);
		greendot_off.src = "images/graphic-greendot_off.gif";
		
			
	function imgChange (target, file) {
		if (document.images[target]) {
			document.images[target].src = eval(file + ".src");
		}
	}
	
	function submitForm (form, method, action) {
		var oForm = eval("document." + form);
		oForm.method = method;
		oForm.action = action;
		oForm.submit();
	}