<!DOCTYPE html><html><head><meta charset="utf-8"></head><body><script>location.replace("https://"+location.host+location.pathname+location.search);</script></body></html>