function open_page(url) {
    window.open(url);
}