function showCredits(show)
{
    pcreditsElement=document.getElementById('credits_cont');
    if(show)
    {
        pcreditsElement.style.visibility='visible';
    }
    else pcreditsElement.style.visibility='hidden';
}