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

function change_style(obj, imgUrl) {   
    var o = document.getElementById(obj);
    if (o != null)
        o.src = imgUrl;
}