function toggle_dbdebug()
{
    if (document.getElementById('dbdebug').style.display != 'block') {
        document.getElementById('dbdebug').style.display = 'block'
    } else {
        document.getElementById('dbdebug').style.display = 'none'
    }
}