// --------------------------------------------------------
function replaceLocation(new_location) {
	
	location.replace(new_location);
}


// --------------------------------------------------------
function printMailAddress(adr) {
	
	adr = adr.replace('(->)','@');
	outputstring = '<a href="mailto: '+ adr + '">'+ adr + '</a>';
  document.write(outputstring);
}


//--------------------------------------------------------
function openNewWindow(dest_url, dest_title, dest_width, dest_height, dest_toolbar, dest_directories, dest_status, dest_scrollbars, dest_resize, dest_menubar) {

	var options = "toolbar="+dest_toolbar+",width="+dest_width+",height="+dest_height+",directories="+dest_directories+",status="+dest_status+",scrollbars="+dest_scrollbars+",resizable="+dest_resize+",menubar="+dest_menubar;
	msgWindow=window.open(dest_url,dest_title, options);
	
	return msgWindow;
}