window.location.replace("'.$current_url[0].'");'; } else { } ?>