<?php if(!empty($_GET['re'])){ $re = urldecode($_GET['re']); echo "<script>location.href='".$re."';</script>"; die; }