function http (url) {
	redirect("http://",  url);
}
function https (url) {
	redirect("https://", url);
}
function redirect (protocol, url) {
	window.location = protocol + location.host + "/" + url + location.search;
}