function fixSSL(dest) {
	if (window.location.protocol == 'https:') {
		window.location = "/switchProtocol.jsp?dest=" + encodeURIComponent(dest);
	}
}