function readRSS(url) {
    sendRequest("/RssProxy", "url=" + url, readRssHandler);
}

function readRssHandler(result) {
    var items = result.getElementsByTagName('item');
    rssLines = new Array();
    var end = items.length;
    if (end > 5)
        end = 5;
    for (var j=0; j < end; j++) {
        var line = new Object();
        line.link = getElementText("link", items[j]);
        line.title = getElementText("title", items[j]);
        rssLines.push(line);
    }
    setTimeout(renderRss, 10);
}

var rssLines;