function get_tabmenu($page)
{

    $menuentries = array('Database' => url_session('database.php'),
        'Tables' => url_session('tables.php'),