function display_worm_page_header($title, $link = "<a href=\"view_experiments.php\">[Back to Experiment Index]</a>", $display_db_choice = FALSE)
{
    global $db_name;
    ?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>The Lifespan Machine - <?php 
    echo $title;
    ?>
</title>
<link rel="icon" type="image/vnd.microsoft.icon" href="../server_icon.ico">
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<META HTTP-EQUIV="EXPIRES" CONTENT="0">
<META HTTP-EQUIV="CACHE-CONTROL" CONTENT="NO-CACHE">
<META HTTP-EQUIV="PRAGMA" CONTENT="NO-CACHE">
<style type="text/css">
<!--
.style1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 18px;
	font-weight: bold;
}
  a {
    text-decoration: none;
}
  a:visited {color: #000055;}
body {
	background-color: #555566;
}
.style2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px
}
#popup { 
  position:relative; 
  }

#popup a span {
	display: none; color: #FFFFFF;
}

#popup a span {
	display: none;
}

#popup a:hover span { 
  display: block; position: absolute; width: 400px; left: 100px; top: -10px; 
color: #000000; 
background: #FFFFFF;
background-color=#FFFFFF;
padding: 0 5px; 
}


-->
</style>
<script>
		function report_video_failure(e){
			switch(e.target.error.code){
				case e.target.error.MEDIA_ERR_ABORTED:
					alert('You aborted the video playback.');
					break;
				case e.target.error.MEDIA_ERR_NETWORK:
					alert('A network error caused the video download tofail part-way');
					break;
				case e.target.error.MEDIA_ERRO_DECODE:
					alert('The video playback was aborted due to a corrpution problem or because the video used features your browser did not support');
					break;
				case e.target.error.MEDIA_ERR_SRC_NOT_SUPPORTED:
					alert('The video could not be loaded, either because the server or network failed or because the format is not supported');
					break;
				default:
					alert('An unkown error occurred.');
			}
		}


		</script>
<script language="JavaScript">
		    function ns_check_all(theForm,cName,status){
  for (i=0,n=theForm.elements.length; i<n; i++){
    if (theForm.elements[i].className.indexOf(cName)!=-1){
      theForm.elements[i].checked = status;
    }
  }

}
</script>
</head>
<body>
<table width="1200" border="0" cellspacing="2" cellpadding="2" align="center">
  <tr>
    <td bgcolor="#FFFFFF">
<table width="100%" border="0" cellpadding="6" cellspacing="0">
  <tr bgcolor="#dbdbdb">
    <td width="0%" bgcolor="#dbdbdb"><img src="w1.png" width=47 height=41></td>
    <td bgcolor="#dbdbdb"><span class="style1">The Lifespan Machine<br>
<table border="0" cellspacing="0" cellpadding="0">
  <tr><td><img src="../subsection.png"></td><td><?php 
    echo $title;
    ?>
</td></tr></table></span></td>
    <td bgcolor="#dbdbdb"><div align="right">
		    <?php 
    if ($display_db_choice) {
        ?>
<form action="view_experiments.php" method="POST">
		    Database: <?php 
        ns_output_database_selector('requested_db_name', $db_name);
        ?>
<input type="hidden" name="db_name_set" value="1">
<input type="hidden" name="db_ref" value="<?php 
        echo 'http://' . $_SERVER['SERVER_NAME'] . $_SERVER['REQUEST_URI'];
        ?>
">
</form>
		    <?php 
    }
    echo $link;
    ?>
</div></td>

    <td width="0%" bgcolor="#dbdbdb" width="50"></td>
  </tr>
  <tr>
    <td width="0%" bgcolor="#dbdbdb" valign="top" ><br><br><br><br><br><br><br><br><br><br><div align="right"><img src="w2.png" width=26 height=57></div></td>
    <td width="100%" colspan="2" bgcolor="#FFFFFF">
<!--Begin Content-->
<?php 
}
 }
 if (!$edit_host) {
     echo "Database: " . $host[$i][12] . "<BR>";
 }
 if (sizeof($devs) > 0) {
     echo sizeof($devs) . " devices<br>";
 }
 echo output_editable_field("comments", $host[$i][4], $edit_host, '', TRUE);
 echo floor($host[$i][13] / 1024) . " gb free</br>";
 echo "</td><td bgcolor=\"{$clrs['1']}\">";
 if (!$edit_host) {
     echo "<a href=\"view_hosts_and_devices.php?show_host_nodes=" . ($show_host_nodes ? "1" : "0") . "&host_id={$host[$i][0]}\">[Edit]</a>";
 } else {
     if (!$real_devs) {
         echo "Database: ";
         ns_output_database_selector('requested_database_name', $host[$i][12], FALSE);
         echo "<input name=\"update_database_name\" type=\"hidden\" value=\"1\">";
     }
     echo "<input name=\"host_id\" type=\"hidden\" value=\"{$host[$i][0]}\">";
     echo "<table cellspacing=5 cellpadding=0 border = 0>";
     echo '<tr><td><input name="save_host" type="submit" value="Save"><BR>';
     echo '<input name="delete_host" type="submit" value="Delete"></td>';
     echo '<td><input name="launch_from_screen_saver" type="submit" value="Launch"><br>';
     echo '<input name="shut_down" type="submit" value="Shut Down"></td></tr>';
     echo '<tr><td><input name="pause" type="submit" value="Pause"><br>';
     echo '<input name="hotplug" type="submit" value="Hotplug Devices"</td>';
     echo '<input name="buffer_reload" type="submit" value="Reload Schedule Buffer" onClick="javascript:return confirm(\'This will force the image acquisition server to re-download all pending scans, causing it to be temporarily unresponsive.  Continue?\')">';
     echo "</td>";
     echo '<td valign="bottom" align="right"><input name="cancel" type="submit" value="Cancel"></td></tr>';
     echo '</table>';
 }