function updatepage(str){
    var nstr = str.substring(str.indexOf("[")+1, str.lastIndexOf("]")); 
    if(!nstr.match("0"))
        document.getElementById("notify").innerHTML = "You have "+nstr+" messages";
}

function timedNotify()
{
    xmlhttpPost('/MainApp/share/notifyserv.jsp');
    setTimeout("JavaScript:timedNotify()",15000);
}

function enableAlert()
{
    timedNotify();
}