/**
 * Retorna o nome do navegador (trata apenas os navegadores suportados pela WEB 5.0)
 */
function getNavigatorName() {

    var navName = navigator.appName; 
       
    if (navName == "Microsoft Internet Explorer") 
        navName = "Internet Explorer";
    else {
        var navAgent = navigator.userAgent;
         
        if (navAgent.indexOf("Firefox") > -1)
            navName = "Firefox";
        else if (navAgent.indexOf("Chrome") > -1)
            navName = "Chrome";
        else if (navAgent.indexOf("Safari") > -1)
            navName = "Safari";
        //else if (navAgent.indexOf("Opera") > -1)
            //navName = "Opera";
    }
           
    return navName;
}

/**
 * Retorna o valor de um Cookie.
 *
 * Esta função está comentada pois foi considerada desnecessária. Não foi definitivamente 
 * deletada pois foi gasto tempo de pesquisa nela, e um dia poderá ser necessária.
 *
function getCookie(name) {
if (document.cookie.length>0)
  {
  c_start = document.cookie.indexOf(name + "=");
  if (c_start != -1)
    { 
    c_start = c_start + c_name.length +1;
    c_end = document.cookie.indexOf(";", c_start);
    if (c_end == -1) 
        c_end = document.cookie.length
    return unescape(document.cookie.substring(c_start, c_end));
    } 
  }
return ""
}*/