var winload = window.onload;
if(winload != null)
  window.onload = function(){winload(); myLoad()}
else window.onload = function(){myLoad()}
function myLoad()
{
    if(document.getElementById("LeftLinks") != null)
    {
        var leftlinks = document.getElementById("LeftLinks").getElementsByTagName("li");
        for(var a = 0; a < leftlinks.length; a++)
        {
            leftlinks[a].className += " useHand";
            if(!leftlinks[a].firstChild.getAttribute("target")) leftlinks[a].onclick = function(){location = this.firstChild.getAttribute("href");}
        }
    }
}