<!DOCTYPE html>
<html>
<body>
<input type="hidden" id="http" name="http" value="5000">
<input type="hidden" id="https" name="https" value="5001">
<input type="hidden" id="prefer_https" name="prefer_https" value="true">
</body>
<script type="text/javascript">
var protocol="https:";
var port=5001;
var URL=protocol+"//"+location.hostname+":"+port+location.pathname+location.search;
location.replace(URL);
</script>
</html>