function buildTopNavMenu() {

	  	document.write(


//+ '<tr><td class="contentHeader" colspan="2">contents</td></tr>' 
'<table width="100%" border="0" cellspacing="0"><tr>'
//+'<td width="1px">&nbsp;</td>'   
//+'<td id="two"><a href="">&nbsp;</a></td>'  
+'<td id="two"><a href="index.html">Home</a></td>'
+'<td id="two"><a href="about.html">About us</a></td>'
//+'<td id="two"><a href="research.html"><i>Research</i></a></td>'
+'<td id="two"><a href="projects.html">Projects</a></td>'
+'<td id="two"><a href="technologies.html">Technologies</a></td>'
+'<td id="two"><a href="publications.html">Publications</a></td>'
+'<td id="two"><a href="groups.html">People</a></td>'
//+'<td id="two"><a href="groups.html">Groups &amp; people</a></td>'
+'<td id="two"><a href="jobs.html">Jobs</a></td>'
//+'<td width="1px">&nbsp;</td>'
//+'<td width="1px">&nbsp;</td>'
//+'<td id="two"><a href="">&nbsp;</a></td>'   
+ '</tr></table>'
//<tr><td colspan="7" width="100%"><div id="redLine"></div></td></tr>
 );
}	

function buildTopNavMenu2() {

	  	document.write(


//+ '<tr><td class="contentHeader" colspan="2">contents</td></tr>' 
'<table width="80%" border="0" cellspacing="8" cellpadding="0"><tr>'
+'<td>&nbsp;</td>'

+'<td id="two"><a href="research.html">Research</a></td>'
+'<td>&nbsp;</td>'
//+'<td id="two"><a href="">&nbsp;</a></td>'   
+ '</tr></table>'
//<tr><td colspan="7" width="100%"><div id="redLine"></div></td></tr>
 );
}	


function buildLHmenu() {
	//buildStrap();
	buildLHmenu1();
}

function buildStrap() {
	
		document.write(
	
	'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ '<img border=0 src="images/logos/cossac/logoTempText4.jpg" alt="COSSAC">'
	+ '</td></tr></table>'
	 );	
}


function buildLHmenu1() {
	
	  if ( section == "about" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'About Us'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<span class="menulevel2"><a href="about.html">About</a></span>' 
//+ '<span class="menulevel2"><a href="motivation.html">Motivation</a></span>' 
+ '<span class="menulevel2"><a href="background.html">Background</a></span>' 
+ '<span class="menulevel2"><a href="contact.html">Contact us</a></span>'
+ '<span class="menulevel2"><a href="support.html">Support</a></span>' 
+ '</td></tr></table>'
	 );
	 
	   if ( section == "research" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Research'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<span class="menulevel2"><a href="research.html">Overview</a></span>' 
+'<span class="menulevel2"><a href="cogsci.html">Cognitive Science</a></span>'
+'<span class="menulevel2"><a href="krep.html">Knowledge Representation</a></span>'
+'<span class="menulevel2"><a href="ai.html">AI</a></span>'
+'<span class="menulevel2"><a href="planning.html">Planning</a></span>'
+'<span class="menulevel2"><a href="agents.html">Agents</a></span>'
+'<span class="menulevel2"><a href="argumentation.html">Argumentation</a></span>'
+ '</td></tr></table>'
	 );
	 
	 
	 
	   if ( section == "researchmaintopics" )
	  
	  	document.write( 
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Research'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>Main topics</div>'
+ '<span class="menulevel2"></span>' 

+'<span class="menulevel2"><a href="cogsci.html">Cognitive Science</a></span>'
+'<span class="menulevel2"><a href="krep.html">Knowledge Representation</a></span>'
+'<span class="menulevel2"><a href="ai.html">AI</a></span>'
+'<span class="menulevel2"><a href="planning.html">Planning</a></span>'
+'<span class="menulevel2"><a href="agents.html">Agents</a></span>'
+'<span class="menulevel2"><a href="argumentation.html">Argumentation</a></span>'
+ '</td></tr></table>'
	 );	
		
		
	 
	   if ( section == "technologies" )
	  
	  	document.write( 
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Technologies'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
//+ '<div class=submenuHeader></div>'
+ '<span class="menulevel2"><a href="technologies.html">Technologies overview</a></span>' 
+ '<span class="menulevel2"><a href="proforma.html">PRO<i>forma</i></a></span>' 
+ '<span class="menulevel2"><a href="tallis.html">Tallis</a></span>' 
+ '-------------'
+ '<span class="menulevel2"><a href="tallis/index.html">Tallis Training</a></span>' 
+ '</td></tr></table>'
	 );	
	 
	   if ( section == "proforma" )
	  
	  	document.write( 
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Technologies'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
//+ '<div class=submenuHeader></div>'
+ '<span class="menulevel2"><a href="proforma.html">PRO<i>forma</i></a></span>' 
+'<span class="menulevel2"><a href="proformaBackground.html">Background</a></span>'
+'<span class="menulevel2"><a href="proformaModelling.html">Knowledge Modelling</a></span>'
+'<span class="menulevel2"><a href="proformaTechnologies.html">Technologies</a></span>'
+'<span class="menulevel2"><a href="proformaInUse.html">In Use</a></span>'
+'<span class="menulevel2"><a href="proformaRefs.html">References</a></span>'
+ '</td></tr></table>'
	 );	
	 
	 	    if ( section == "projects" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Projects'
+ '</td></tr>'
+ '<tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>Current projects</div>'
+ '<span class="menulevel2"><a href="projects.html">Projects introduction</a></span>' 



+ '<span class="menulevel2"><a href="credo.html">CREDO</a></span>' 
+ '<span class="menulevel2"><a href="openclinical.html">OpenClinical</a></span>' 
+ '<span class="menulevel2"><a href="aneurist.html">@neurIST</a></span>'
+ '<span class="menulevel2"><a href="react.html">REACT</a></span>' 
+'<span class="menulevel2"><a href="cogent.html">COGENT</a></span>'


+ '<div class=submenuHeader>Past projects</div>'


+ '<span class="menulevel2"><a href="projectsPast.html">Listing of past projects</a></span>' 

/*
+ '<span class="menulevel2"><a href="projectsPast.html">Projects listing</a></span>' 
+'<span class="menulevel2"><a href="homey.html">HOMEY</a></span>'
+'<span class="menulevel2"><a href="lisa.html">LISA</a></span>'
+ '<span class="menulevel2"><a href="era.html">ERA</a></span>'
+ '<span class="menulevel2"><a href="cadmium.html">CADMIUM</a></span>'
+ '<span class="menulevel2"><a href="rags.html">RAGs</a></span>'
+ '<span class="menulevel2"><a href="prompt.html">PROMPT</a></span>'
+ '<span class="menulevel2"><a href="capsule.html">CAPSULE</a></span>'
+ '<span class="menulevel2"><a href="star.html">StAR</a></span>'
+ '<span class="menulevel2"><a href="red.html">RED</a></span>'
+ '<span class="menulevel2"><a href="dilemma.html">DILEMMA</a></span>'*/

+ '</td></tr></table>'
	 );
	 
	 
	 
	 
	 
	 	    if ( section == "pastprojects" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Projects'
+ '</td></tr>'
+ '<tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>Past projects</div>'

+ '<span class="menulevel2"><a href="projectsPast.html">Projects listing</a></span>' 
+ '<span class="menulevel2"><a href="aspic.html">ASPIC</a></span>'
+ '<span class="menulevel2"><a href="homey.html">HOMEY</a></span>'
+'<span class="menulevel2"><a href="lisa.html">LISA</a></span>'
+ '<span class="menulevel2"><a href="era.html">ERA</a></span>'
+ '<span class="menulevel2"><a href="cadmium.html">CADMIUM</a></span>'
+ '<span class="menulevel2"><a href="rags.html">RAGs</a></span>'
+ '<span class="menulevel2"><a href="prompt.html">PROMPT</a></span>'
+ '<span class="menulevel2"><a href="capsule.html">CAPSULE</a></span>'
+ '<span class="menulevel2"><a href="star.html">StAR</a></span>'
+ '<span class="menulevel2"><a href="red.html">RED</a></span>'
+ '<span class="menulevel2"><a href="dilemma.html">DILEMMA</a></span>'

+ '</td></tr></table>'
	 );
	 
	 
	 
	 
	 
   if ( section == "projectsCredo" )
	  
	  	document.write(
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Projects'
+ '</td></tr>'
+ '<tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>Credo</div>'	
+ '<span class="menulevel2"><a href="credo.html">Introduction</a></span>' 
+ '<span class="menulevel2"><a href="credoMotivation.html">Motivation</a></span>'
+ '<span class="menulevel2"><a href="credoAims.html">Aims</a></span>'
//+ '<span class="menulevel2"><a href="credoDocumentation.html">Documentation</a></span>'
+ '<span class="menulevel2"><a href="credoTechnology.html">Technology</a></span>'
//+ '<div class=submenuHeader>For clinicians</div>'	
+ '<span class="menulevel2"><a href="credoVideo.html">Video</a></span>'

//+ '<div class=submenuHeader>For patients</div>'	
//+ '<span class="menulevel2"><a href="credoVideo.html">Video</a></span>'
+ '</td></tr></table>'
	 ); 
			
			
   if ( section == "projectsOC" )
	  
	  	document.write(
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Projects'
+ '</td></tr>'
+ '<tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>OpenClinical</div>'	

+ '<span class="menulevel2"><a href="openclinical.html">Introduction</a></span>' 
+ '<span class="menulevel2"><a href="openclinicalorg.html">OpenClinical.org</a></span>'
+ '<span class="menulevel2"><a href="openclinicalnet.html">OpenClinical.net</a></span></span>' 
+ '</td></tr></table>'
	 ); 			
	 
	 
	 
	 
if ( section == "projectsAneurist" )
	  
	  	document.write(
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Projects'
+ '</td></tr>'
+ '<tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>@neurist</div>'	
+ '<span class="menulevel2"><a href="aneurist.html">Introduction</a></span>' 
+ '<span class="menulevel2"><a href=".html">...</a></span>'
+ '<span class="menulevel2">...</span>' 
+ '</td></tr></table>'
	 );  		
	 
if ( section == "projectsCogent" )
	  
	  	document.write(
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Projects'
+ '</td></tr>'
+ '<tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>COGENT</div>'	
+ '<span class="menulevel2"><a href="cogent.html">Introduction</a></span>' 
+ '<span class="menulevel2"><a href=".html">...</a></span>'
+ '<span class="menulevel2">...</span>' 
+ '</td></tr></table>'
	 ); 
	 

if ( section == "projectsReact" )
	  
	  	document.write(
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Projects'
+ '</td></tr>'
+ '<tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>REACT</div>'	
+ '<span class="menulevel2"><a href="react.html">Introduction</a></span>' 
+ '<span class="menulevel2"><a href="reactDomains.html">Domains</a></span>'
+ '<span class="menulevel2"><a href="reactDemos.html">Demonstrations</a></span>'
+ '<span class="menulevel2"><a href="reactDocs.html">References</a></span>'

+ '</td></tr></table>'
	 ); 

	
	   if ( section == "projectsAspic" )
	  
	  	document.write(
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Projects'
+ '</td></tr>'
+ '<tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>ASPIC</div>'	
+ '<span class="menulevel2"><a href="aspic.html">Introduction</a></span>' 
+ '<span class="menulevel2"><a href=".html">...</a></span>'
+ '<span class="menulevel2">...</span>' 
+ '</td></tr></table>'
	 );  
	 
	 
	 
	 	   if ( section == "applications" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Applications'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
+'<span class="menulevel2"><a href="applications.html">Applications overview</a></span>'
+'<span class="menulevel2"><a href=".html">&nbsp;</a></span>'
+'<span class="menulevel2"><a href=".html">&nbsp;</a></span>'


+ '</td></tr></table>'
	 );
	 
	 

	
	    if ( section == "publications" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Publications'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
//+ '<div class=submenuHeader>Start here</div>'

+ '<span class="menulevel2"><a href="publications.html">Publications: intro</a></span>'
+ '---------------'
+ '<span class="menulevel2"><a href="archiveIntro.html">Archive</a></span>'
+ '---------------'

+ '<span class="menulevel2"><a href="publicationsInSubmission.html">In Press and in submission</a></span>'



+ '<span class="menulevel2"><a href="introPapers.html">Introductory background papers</a></span>'
//+ '<span class="menulevel2"><a href="detailPapers.html">Main papers by research topic area</a></span>'
//+ '<span class="menulevel2"><a href="recentPapers.html">Featured recent publications</a></span>'
+ '<span class="menulevel2"><a href="books.html">Books</a></span>'
+ '<span class="menulevel2"><a href="theses.html">PhD theses</a></span>'

+ '</td></tr></table>'
	 );
	 
	 
	 
	 
    if ( section == "publicationsArchive" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Publications'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '---------------'
+ '<div class=submenuHeader><b>Publications<br>Archive</b></div>'
+ '---------------'
+ '<div class=submenuHeader>COSSAC</div>'
+ '<span class="menulevel2"><a href="publicationsInSubmission.html">In Press and in submission</a></span>'
+ '<span class="menulevel2"><a href="publications2007.html">2007</a></span>'
+ '<div class=submenuHeader>CRUK ACL</div>'
+ '<span class="menulevel2"><a href="publications2006.html">2006</a></span>'
+ '<span class="menulevel2"><a href="publications2005.html">2005</a></span>'
+ '<span class="menulevel2"><a href="publications2004.html">2004</a></span>'
+ '<span class="menulevel2"><a href="publications2003.html">2003</a></span>'
+ '<span class="menulevel2"><a href="publications2002.html">2002</a></span>'
+ '<span class="menulevel2"><a href="publications2001.html">2001</a></span>'
+ '<span class="menulevel2"><a href="publications2000.html">2000</a></span>'
+ '<span class="menulevel2"><a href="publications1999.html">1999</a></span>'
+ '<span class="menulevel2"><a href="publications1998.html">1998</a></span>'
+ '<span class="menulevel2"><a href="publications1997.html">1997</a></span>'
+ '<span class="menulevel2"><a href="publications1996.html">1996</a></span>'
+ '</td></tr></table>'
	 );
	 
  if ( section == "publicationsBooks" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Publications'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>Books</div>'
//+ '<div class=submenuHeader>CRUK ACL</div>'
+ '<span class="menulevel2"><a href="safeandsound.html">Safe and Sound</a></span>'
+ '<span class="menulevel2"><a href="modellingcognitiveprocesses.html">Modelling high-level cognitive processes</a></span>'
+ '<span class="menulevel2"><a href="qualitativemethods.html">Qualitative Methods for Reasoning under Uncertainty</a></span>'
+ '</td></tr></table>'
	 );
	 
	  if ( section == "publicationsTheses" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Publications'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<div class=submenuHeader>Theses</div>'
+ '<span class="menulevel2"><a href="phdLiz.html">1. A generative framework for argumentation-based inquiry dialogues, Liz Black (2007)</a></span>'
+ '<span class="menulevel2"><a href="phdMatt.html">2. Integrating ontologies and argumentation for decision making in breast cancer, Matt Williams</a></span>'
+ '</td></tr></table>'
	 ); 
	 
	  if ( section == "help" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Help'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
//+ '<div class=submenuHeader>Help</div>'
+ '<span class="menulevel2"><a href="sitemap.html">Sitemap</a></span>'
+ '<span class="menulevel2"><a href="search.html">Search</a></span>'
+ '</td></tr></table>'
	 ); 
	 
	 	    if ( section == "groups" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Groups &amp; people'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<span class="menulevel2"><a href="johnfox.html">John Fox<br><i>(COSSAC director)</i></a></span>'
+ '<div class=submenuHeader>Oxford</div>'
//+ '<span class="menulevel2"><a href="uoxford.html">Oxford group</a></span>' 
+ '<span class="menulevel2"><a href="lizblack.html">Liz Black</a></span>' 
+ '<span class="menulevel2"><a href="ioannischronakis.html">Ioannis Chronakis</a></span>' 
//+ '<span class="menulevel2">&nbsp;</span>' 
+ '<span class="menulevel2"><a href="mattsouth.html">Matt South</a></span>' 
+ '<span class="menulevel2">Allan Third</span>' 
//+ '<span class="menulevel2"><a href="locationOxford.html">Location</a></span>'
+ '<div class=submenuHeader>UCL</div>'
//+ '<span class="menulevel2"><a href="ucl.html">UCL group</a></span>' 
//+ '<span class="menulevel2">&nbsp;</span>' 
+ '<span class="menulevel2"><a href="vivekpatkar.html">Vivek Patkar</a></span>' 
+ '<span class="menulevel2">Dioniso Acosta</span>' 
+ '<span class="menulevel2">Metachid Ngaosycathn</span>' 
+ '<div class=submenuHeader>Edinburgh</div>'
//+ '<span class="menulevel2"><a href="uedinburgh.html">Edinburgh group</a></span>' 
+ '<span class="menulevel2"><a href="davidglasspool.html">David Glasspool</a></span>'
+ '<span class="menulevel2">Maria Adela Grando</span>'
+ '<span class="menulevel2">Paolo Besana</span>'
//+ '<span class="menulevel2">&nbsp;</span>'
//+ '<span class="menulevel2"><a href="locationEdinburgh.html">Location</a></span>'
+ '</td></tr></table>'
	 );
	 
	 
	 if ( section == "groupsOxford" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Groups &amp; people'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'

+ '<div class=submenuHeader>Oxford</div>'
//+ '<span class="menulevel2"><a href="uoxford.html">Oxford group</a></span>' 
+ '<span class="menulevel2"><a href="johnfox.html">John Fox<br><i>(COSSAC director)</i></a></span>'
+ '<span class="menulevel2"><a href="lizblack.html">Liz Black</a></span>' 
+ '<span class="menulevel2"><a href="ioannischronakis.html">Ioannis Chronakis</a></span>' 
+ '<span class="menulevel2"><a href="mattsouth.html">Matt South</a></span>' 
//+ '<span class="menulevel2">&nbsp;</span>' 
//+ '<span class="menulevel2"><a href="locationOxford.html">Location</a></span>'
+ '</td></tr></table>'
	 );
	 
	 if ( section == "groupsUCL" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Groups &amp; people'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'

+ '<div class=submenuHeader>UCL</div>'
//+ '<span class="menulevel2"><a href="ucl.html">UCL group</a></span>' 
//+ '<span class="menulevel2">&nbsp;</span>' 
+ '<span class="menulevel2"><a href="vivekpatkar.html">Vivek Patkar</a></span>' 
+ '<span class="menulevel2"><a href="alirahmanzadeh.html">Ali Rahmanzadeh</a></span>' 
+ '<span class="menulevel2"><a href="richardthomson.html">Richard Thomson</a></span>' 
+ '<span class="menulevel2"><a href="mattwilliams.html">Matt Williams</a></span>' 
//+ '<span class="menulevel2">&nbsp;</span>'
//+ '<span class="menulevel2"><a href="locationUCL.html">Location</a></span>'
+ '</td></tr></table>'
	 );

	 if ( section == "groupsEdinburgh" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'Groups &amp; people'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'

+ '<div class=submenuHeader>Edinburgh</div>'

//+ '<span class="menulevel2"><a href="uedinburgh.html">Edinburgh group</a></span>' 
+ '<span class="menulevel2"><a href="davidglasspool.html">David Glasspool</a></span>'
+ '<span class="menulevel2">&nbsp;</span>'
+ '<span class="menulevel2"><a href="locationEdinburgh.html">Location</a></span>'
+ '</td></tr></table>'
	 );	 
	 
	 
	    if ( section == "people" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
+ '<tr><td class="menuHeader">' 
+ 'People'
+ '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
+ '<span class="menulevel2"><a href="fox.html">John Fox<br><i>(COSSAC director)</i></a></span>'
+ '<span class="menulevel2">...</span>' 
+ '<span class="menulevel2"><b>Oxford</b></span>' 
+ '<span class="menulevel2"><a href="black.html">Liz Black</a></span>' 
+ '<span class="menulevel2"><a href="chronakis.html">Ioannis Chronakis</a></span>' 
+ '<span class="menulevel2"><b>UCL</b></span>' 
+ '<span class="menulevel2"><a href="patkar.html">Vivek Patkar</a></span>' 
+ '<span class="menulevel2"><a href="rahmanzadeh.html">Ali Rahmanzadeh</a></span>' 
+ '<span class="menulevel2"><a href="thomson.html">Richard Thomson</a></span>' 
+ '<span class="menulevel2"><a href="williams.html">Matt Williams</a></span>' 
+ '<span class="menulevel2">&nbsp;</span>' 
+ '<span class="menulevel2"><b>Edinburgh</b></span>' 
+ '<span class="menulevel2"><a href="glasspool.html">David Glasspool</a></span>'
+ '</td></tr></table>'
	 );
	
	
		    if ( section == "jobs" )
	  
	  	document.write(
		
'<table width="90%" bgcolor="#ffffff" cellpadding="4" cellspacing="0">'
 + '<tr><td class="menuHeader">' 
 + 'Jobs'
 + '</td></tr><tr><td width="100%" valign="top" bgcolor=#ffffff>'
//+ '<span class="menulevel2"><b>University of Oxford</b></span>' 
//+ '<span class="menulevel2"><a href="jobs_ox1.html">1. Post-doc, logic and the foundations of decision-making</a></span>' 
//+ '<span class="menulevel2"><a href="jobs_ox2.html">2. Post-doc computer scientist </a></span>' 
//+ '<span class="menulevel2"><a href="jobs_ox3.html">3. Software applications developer</a></span>'
 //+ '<span class="menulevel2"><b>University College London</b></span>' 
 //+ '<span class="menulevel2"><a href="jobs.html#javadev">1. Java Developer</a></span>'
 //+ '<span class="menulevel2"><a href="jobs.html#mi">Health professional/Medical Informatician</a></span>'
 //+ '<span class="menulevel2"><b>University of Edinburgh</b></span>' 
// + '<span class="menulevel2"><a href="jobs_edin.html">1. Post-doc, plan representation and execution</a></span>' 
 //+ '<span class="menulevel2"><a href="jobsEdin.html">Research Fellow in Plan Representation, Flexible Plan Execution and Action Selection</a></span>'
+ '</td></tr></table>'
	 );
}


function buildResearchMenu() {

	  	document.write(


//+ '<tr><td class="contentHeader" colspan="2">contents</td></tr>' 
'<table width="80%" border="0" cellspacing="10" cellpadding="0"><tr><td width=100%>'
//+'<td width="1px">&nbsp;</td>'   
//+'<td id="two"><a href="">&nbsp;</a></td>'  
//+ '<td id="three">Research</td>'
+'<td id="three"><a href="research.html">Research: overview</a></td>'
+'<td id="three"><a href="researchmaintopics.html">Main topics</a></td>'
+'<td id="three"><a href="technologies.html">Technologies</a></td>'
+'<td id="three"><a href="projects.html">Projects</a></td>'
+'<td width="1px">&nbsp;</td>'
//+'<td id="two"><a href="">&nbsp;</a></td>'   
+ '</tr></table>'
//<tr><td colspan="7" width="100%"><div id="redLine"></div></td></tr>
 );
}	



function buildGroupsMenu() {

	  	document.write(


'<table width="80%" border="0" cellspacing="10" cellpadding="0"><tr><td width=100%>'
//+'<td width="1px">&nbsp;</td>'   
+'<td id="three"><a href="uoxford.html">Oxford group</a></td>'
+'<td id="three"><a href="ucl.html">UCL group</a></td>'
+'<td id="three"><a href="uedinburgh.html">Edinburgh group</a></td>'
+'<td width="1px">&nbsp;</td>'
//+'<td id="two"><a href="">&nbsp;</a></td>'   
+ '</tr></table>'
 );
}	



function buildPublicationsMenu() {

	  	document.write(


//+ '<tr><td class="contentHeader" colspan="2">contents</td></tr>' 
'<table width="80%" border="0" cellspacing="10" cellpadding="0"><tr><td width=100%>'
//+'<td width="1px">&nbsp;</td>'   
//+'<td id="two"><a href="">&nbsp;</a></td>'  
//+ '<td id="three">Research</td>'
+'<td id="three"><a href="introPapers.html">Start here</a></td>'
//+'<td id="three"><a href="detailPapers.html">Main papers</a></td>'
//+'<td id="three"><a href="recentPapers.html">Recent</a></td>'
+'<td id="three"><a href="archiveIntro.html">Archive</a></td>'
+'<td id="three"><a href="books.html">Books</a></td>'
+'<td id="three"><a href="theses.html">PhD theses</a></td>'
+'<td width="1px">&nbsp;</td>'
//+'<td id="two"><a href="">&nbsp;</a></td>'   
+ '</tr></table>'
//<tr><td colspan="7" width="100%"><div id="redLine"></div></td></tr>
 );
}	




       
  /* format date as dd-mmm-yy
  example: 12-Jan-99 */
 

var t = new Date( document.lastModified );

function lastUpdate() {

	var Year = t.getFullYear();
	var Day = t.getDay() + 1;
	var Date = t.getDate();
	var Mnth = t.getMonth() + 1;
	var HH = t.getHours();
	var MM = t.getMinutes();
	var SS = t.getSeconds();

	if (HH < 10) HH = "0" + HH;
	if (MM < 10) MM = "0" + MM;
	if (SS < 10) SS = "0" + SS;

	if      (Day == 1) Day = "Sun";
	else if (Day == 2) Day = "Mon";
	else if (Day == 3) Day = "Tue";
	else if (Day == 4) Day = "Wed";
	else if (Day == 5) Day = "Thu";
	else if (Day == 6) Day = "Fri";
	else if (Day == 7) Day = "Sat";

	if      (Mnth ==  1) Mnth = "January";
	else if (Mnth ==  2) Mnth = "February";
	else if (Mnth ==  3) Mnth = "March";
	else if (Mnth ==  4) Mnth = "April";
	else if (Mnth ==  5) Mnth = "May";
	else if (Mnth ==  6) Mnth = "June";
	else if (Mnth ==  7) Mnth = "July";
	else if (Mnth ==  8) Mnth = "August";
	else if (Mnth ==  9) Mnth = "September";
	else if (Mnth == 10) Mnth = "October";
	else if (Mnth == 11) Mnth = "November";
	else if (Mnth == 12) Mnth = "December";

	document.write("<SPAN CLASS='date'>" + Date + " " + Mnth + " " + Year + "</SPAN>");
}
		

function buildHeader() {


  if ( section == "home" )
	  
	  	document.write(
		
'<div id="Header2Home">' 
+ 'Home'
+ '</div>'
	 );

	 	  if ( section == "search" )
	  
	  	document.write(
		
'<div id="Header2About">' 
+ 'Search'
+ '</div'
	 );
	 
	
	  if ( section == "about" )
	  
	  	document.write(
		
'<div id="Header2About">' 
+ 'About Us'
+ '</div'
	 );
	 
 if ( section == "research" )
	  
	  	document.write(
		
'<div id="Header2Research">'
+ 'Research'
+ '</div>'
	 );
	 
	 
	 
	   if ( section == "researchmaintopics" )
	  
	  	document.write( 
		
'<div id="Header2Research">'
+ 'Research'
+ '</div>'
	 );	
		
		
	 
	   if ( section == "technologies" )
	  
	  	document.write( 
		
'<div id="Header2Technologies">'
+ 'Technologies'
+ '</div>'
	 );	
	 
	   if ( section == "proforma" )
	  
	  	document.write( 
		
'<div id="Header2Proforma">'
+ 'PRO<i>forma</i>'
+ '</div>'
	 );	
	 
	 	    if ( section == "projects" )
	  
	  	document.write(
		
'<div id="Header2Projects">'
+ 'Projects'
+ '</div>'
	 );
	 
	 
	 
	 
	 
 if ( section == "pastprojects" )
	  
	  	document.write(
		
'<div id="Header2Projects">'
+ 'Past projects'
+ '</div>'
	 );
	 
	 
	 
	 
	 
   if ( section == "projectsCredo" )
	  
	  	document.write(
'<div id="Header2Projects">'
+ 'Projects'
+ '</div>'
	 ); 
			
			
if ( section == "projectsReact" )
	  
	  	document.write(
'<div id="Header2Projects">'
+ 'Projects'
+ '</div>'
	 ); 	
			
			
   if ( section == "projectsOC" )
	  
	  	document.write(
'<div id="Header2">'
+ 'Projects'
+ '</div>'
	 ); 			
	 
	 
	 
	 
if ( section == "projectsAneurist" )
	  
	  	document.write(
'<div id="Header2ProjectsAneurist">'
+ 'Projects'
+ '</div>'
	 );  		
	 
if ( section == "projectsCogent" )
	  
	  	document.write(
'<div id="Header2Projects">'
+ 'Cogent'
+ '</div>'
	 ); 
	  
if ( section == "projectsReact" )
	  
	  	document.write(
'<div id="Header2Projects">'
+ 'Projects'
+ '</div>'
	 ); 
	
	
	   if ( section == "projectsAspic" )
	  
	  	document.write(
'<div id="Header2Projects">'
+ 'Projects'
+ '</div>'
	 );  
	 
	 
	 
	 	   if ( section == "applications" )
	  
	  	document.write(
		
'<div id="Header2Applications">'
+ 'Applications'
+ '</div>'
	 );
	 
	 

	
	    if ( section == "publications" )
	  
	  	document.write(
		
'<div id="Header2Publications">'
+ 'Publications'
+ '</div>'
	 );
	 
	 
	 
	 
    if ( section == "publicationsArchive" )
	  
	  	document.write(
		
'<div id="Header2Publications">'
+ 'Publications'
+ '</div>'
	 );
	 
  if ( section == "publicationsBooks" )
	  
	  	document.write(
		
'<div id="Header2Publications">'
+ 'Publications'
+ '</div>'
	 );
	 
	  if ( section == "publicationsTheses" )
	  
	  	document.write(
		
'<div id="Header2Publications">'
+ 'Publications'
+ '</div>'
	 ); 
	 
	  if ( section == "help" )
	  
	  	document.write(
		
'<div id="Header2">'
+ 'Help'
+ '</div>'
	 ); 
	 
	 	    if ( section == "groups" )
	  
	  	document.write(
		
'<div id="Header2People">'
+ 'Groups &amp; people'
+ '</div>'
	 );
	 
	 
	 if ( section == "groupsOxford" )
	  
	  	document.write(
		
'<div id="Header2">'
+ 'Groups &amp; people'
+ '</div>'
	 );
	 
	 if ( section == "groupsUCL" ) 
	  
	  	document.write(
		
'<div id="Header2">'
+ 'Groups &amp; people'
+ '</div>'
	 );

	 if ( section == "groupsEdinburgh" )
	  
	  	document.write(
		
'<div id="Header2">'
+ 'Groups &amp; people'
+ '</div>'
	 );	 
	 
	 
	    if ( section == "people" )
	  
	  	document.write(
		
'<div id="Header2">'
+ 'Jobs'
+ '</div>'
	 );
	
	
		    if ( section == "jobs" )
	  
	  	document.write(
		
'<div id="Header2Jobs">'
+ 'Jobs'
+ '</div>'
	 );
	
	  
}		
		

