function serCurrentPage(pID)
{
    var obj = document.getElementById(pID);
    if(obj != null)
    {
        obj.className = 'down2';
    }
}

function LeftMenuSelected(pID)
{
    var obj = document.getElementById(pID);
    if(obj != null && FileName(pID) != null)
    {
        obj.className = 'LeftMenuSelected';
    }
}

function FileName(item)
{
	var sValue=location.href.match(new RegExp(item + "[0-9]*\.stm"));
	return sValue;
}