if (window.XMLHttpRequest) { 
							  xmlHttp = new XMLHttpRequest();
							  } else if (window.ActiveXObject) { 
								  xmlHttp = new ActiveXObject("Microsoft.XMLHTTP");
								  }
								  function callServer(url) {
									xmlHttp.open("GET", url, true);
									  xmlHttp.onreadystatechange = updatePage;
										xmlHttp.send(null);
										}
										function updatePage() {
										  if (xmlHttp.readyState == 4) {
											  var response = xmlHttp.responseText;
												  document.getElementById("rtoc").innerHTML = response;
													  setTimeout("callServer('rtoc.php')",2500);
														}
														}
														callServer("rtoc.php");