function highlight_menu_item(element)
{
    if (element.className == "menu")
        element.className = "menu_highlight";
    else
        element.className = "menu";
}
function product_highlight(element)
{
    if (element.className == "products")
        element.className = "products_highlight";
    else
        element.className = "products";
}