function go_home() {
	window.location = "welcome.php";
	return;
}