function new_page(page_url) {
location.replace(page_url);
}