function replace_href( next_href ) {
	if (document.location.replace) document.location.replace(next_href);
  		else document.location = next_href;
}