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