function session_refresh(ck, first_go, timeout)
{
    var sso_name = ck+"=";
    var ck_ary = document.cookie.split(';');
    for(var i=0; i < ck_ary.length; i++) {
        var c = ck_ary[i];
        while (c.charAt(0)==' ')
            c = c.substring(1, c.length);
        if (c.indexOf(sso_name) == 0)
        {
        	if(first_go >= 0)
        	{
                setTimeout(
                  'new Ajax.PeriodicalUpdater(' +
                '"ssodiv",'+
                '"services/session_refresh.php",'+
                '{'+
                    'asynchronous: true,'+
                    'frequency: '+timeout+
                '}'+
              ')', first_go*1000); // start a periodic updater in "to" seconds
        	}
            break;
        }
    }
}