addEvent(window, 'load', function()

{

            // Hide by default

            document.getElementById('db_links').style.display = 'none';

            

            // Set up event listener

            addEvent(document.getElementById('showHide'), 'click', function()

            {

                        var button = document.getElementById('showHide');

                        var div = document.getElementById('db_links');

                        if(div.style.display == 'none')

                        {

                                    div.style.display = 'block';

                                    button.innerHTML = 'Hide these links';

                        }

                        else

                        {

                                    div.style.display = 'none';

                                    button.innerHTML = 'Show database navigation';

                        }

                        

                        return false;

            });

});