(function(){var o=window.location;o.protocol=="http:"&&(o.href="https://"+o.host+o.pathname+o.hash+o.search)})();