function highligth_pagelinks_item(element)
{
    if (element.className == "PageLinksMenu")
        element.className = "PageLinksMenuHighlight";
    else
        element.className = "PageLinksMenu";
}