function getRss( source, dochter, output ) {
    var o = document.getElementById( output ) ;
    var url = "/rss.php?source=" + source + "&dochter=" + dochter ;
    ojox( url, o );
}