// $Id: plugin.js 111 2011-06-13 18:52:28Z sniranjan $

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';
}