function get_tabmenu_top_fixed($page)
{

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