function fix_greek_links() {
    var mycount;
    mycount = document.getElementsByTagName('a').length;
    for (i = 0; i < mycount; i++) {
        var mylink = document.getElementsByTagName('a')[i];
        mylink.href = decodeURI(mylink.href);
    }
}