+ document.getElementById(innerdivname).innerHTML = "" ;
+ //"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" ;
+ //}
+
+ // If we were given an explicit starting point, by all means start there.
+ // Note that we don't have to remove them from the array because we did a 'msgs gt|xxx' command to Citadel.
+ if (min_msg > 0)