location.replace("' . $page . '"); ' */ ?>