function navigateLink(form) {
	var destination = form.selectNav[form.selectNav.selectedIndex].value;
		if (destination != '*') {
			location.href = destination;
		}
	}

function openWindownew(page,width,height){
    window_top = window.open(page, '_blank', 'resizable=1,scrollbars=1,location=1,toolbar=1,menubar=1,width=800,height=400,left=1,top=1')
	window_top.focus();
	}

function roll(img_name, img_src)
   {
   document[img_name].src = img_src;
   }