function show_distrib(nation)
{
    document.getElementById(activeDIV).style.display = "none";
    document.getElementById(nation).style.display = "block";
    activeDIV = nation;
}