export function goto(newLocation: string) { window.location.href = "/src/" + newLocation + "-page/" + newLocation + ".html"; }