function show_article_intro(id) {
    var ele = eval("document.getElementById('"+id+"')").style;
    if ((ele.display == 'none') || (ele.display == ''))
        ele.display = 'block';
    else
        ele.display = 'none';
}