function redirect_home_page(url) {
	window.location.href = url;
}