function execute_goto(url) {
	location.replace(url);	
}