// JavaScript Document
var currId = 'articles';  
function show_div(div_id) {  
    if(currId) 
        document.getElementById(currId).style.display = 'none'; 
    document.getElementById(div_id).style.display = 'block'; 
    currId = div_id; 
};