// JavaScript Document


    function showQuickLinks() 
    {
	  document.getElementById('QuickLinks').style.display="block";
    }
    function hideQuickLinks() 
    {
	  document.getElementById('QuickLinks').style.display="none";
    }