function setprotocolhost() {
	document.nav_form.protocol.value = window.location.protocol.substring(0,window.location.protocol.length-1);		
	document.nav_form.hostname.value = window.location.hostname;
}