+function rcchangeserverstatus(server, new_status) {
+ var statusbar = document.getElementById("status");
+ var spans = statusbar.getElementsByTagName("span");
+ for (i in spans) {
+ if (spans[i].firstChild && 'data' in spans[i].firstChild && spans[i].firstChild.data == server) {
+ spans[i].setAttribute("class", new_status);
+ }
+ }
+}
+