export function navigateTo(url: string) {
    window.history.pushState("", "", url);
}