var url = location.href;
if (url.substring(0, 5) == 'http:') {
	location.href = url.replace('http:', 'https:');
}