document.location.replace('".$URL."'); "; ?>