var bIsOpen_ms_Div=false;
var bIsOpen_redhat_Div=false;
var bIsOpen_debian_Div=false;


            var plusSign                    = "images/icon_plus.gif";
            var minusSign                   = "images/icon_minus.gif";
            var currentProfileId            = "-1";


   // Inverts the state of the given expand menu name + the related div (if any).
    function InvertDivState(name, divName){
        var oDiv  = document.getElementById(name+"Div");
        var oSpan = document.getElementById(name+"Sign");
        var oTd   = document.getElementById(name+"Td");
        eval("bIsOpen" + name + "Div = !bIsOpen" + name + "Div");
        var bIsOpen = eval("bIsOpen" + name + "Div");
        if(bIsOpen){
          if(typeof(divName)!="undefined") document.getElementById(divName).style.display = "block";
          oDiv.style.display = "block";
          oSpan.src = minusSign;
        }else {
          if(typeof(divName)!="undefined") document.getElementById(divName).style.display = "none";
          oDiv.style.display = "none";
          oSpan.src = plusSign;
        }
    }
function showtip(current,e,text)
{
				if (document.all||document.getElementById)
				{
							thetitle=text.split('<br>')
							if (thetitle.length>1)
							{
								thetitles=''
								for (i=0;i<thetitle.length;i++)
								{
									thetitles+=thetitle[i]
								}
								current.title=thetitles
							}
							else
							{
								current.title=text
							}
				}
				else if (document.layers)
				{
			      document.tooltip.document.write('<layer bgColor="#FFFFE7" style="border:1px solid black;font-size:12px;">'+text+'</layer>')
										document.tooltip.document.close()
										document.tooltip.left=e.pageX+5
										document.tooltip.top=e.pageY+5
										document.tooltip.visibility="show"
				}
}

function hidetip()
{
    if (document.layers)
		{
												document.tooltip.visibility="hidden"
		}
}