- //"Are we logged in? " + logged_in + "<br>"
- //+ "Last seen: " + last_seen + "<br>"
- //+ "Number of messages: " + msgs.length + "<br>"
- //+ "min_msg=" + min_msg + "<br>"
- //+ "max_msg=" + max_msg + "<br>" ;
-
- //if (msgs.length == 0)
- //{
- //document.getElementById(innerdivname).innerHTML += "FIXME no msgs" ;
- //}