<!--
function change_img(id,status){
	ext = ".gif";
	img_folder = "/images/";
	img_arr_status = new Array("_on","_off");
	if(document.all)
		document.all(id).src = img_folder+id+img_arr_status[status]+ext;
}
//-->