<script type="text/javascript">
<!--
if (window.location.protocol != "https:") {
window.location.href = "https:" + window.location.href.substring(window.location.protocol.length);
}
//-->
</script>