function changePage(page) {
    window.location.pathname = page + ".html";
}