<!--
	document.write("<table class=\"bordernav\">")
	document.write("<tr>")

	document.write("<td>")
	document.write(TabButton("AbstractTab",ImageFolder + "AbstractTab" + ImgInActiveTab,HomeDirectory + AbstractURL))
	document.write("</td>")
	document.write("<td>")
	document.write(TabButton("PaperTab",ImageFolder + "PaperTab" + ImgInActiveTab,HomeDirectory + PaperURL))
	document.write("</td>")
	document.write("<td>")
	document.write(TabButton("ImplementationTab",ImageFolder + "ImplementationTab" + ImgInActiveTab,HomeDirectory + ImplementationURL))
	document.write("</td>")
	document.write("</tr>")
	document.write("</table>")
		
	function DoNothing()
	{
		return "";	
	}
		
		
	function ActiveTab(name)
	{	
		var x = document.images
		x[name].src=ImageFolder + name + ImgActiveTab	
	}
	
	function InactiveTab(name)
	{
		var x = document.images
		x[name].src=ImageFolder + name + ImgInActiveTab	
	}
	
	function TabButton(name,source,dest)
	{
		var Start = "<img "
		var Alt = " alt=\"" + name + "\""
		var Finish = " />"
		var Image = "id= \"" + name + "\" "
		var Source = "src= \"" + source + "\" "
		var ActionMouseOver = " onmouseover= ActiveTab(\"" + name + "\")"
		var ActionMouseOut = " onmouseout= InactiveTab(\"" + name + "\") "
		var RedirectClick = " onclick=Redirect(\"" + dest + "\") "
		var Class = " class=\"tabs\" "
		return Start + Alt + Class + Image + Source + ActionMouseOver + ActionMouseOut + RedirectClick + Finish
	
	}
	
	function Redirect(destination)
	{
			window.location = destination
	}
		
//-->

