
<!--
	var Start = "<img "
	var Finish = " />"
	var Alt = "alt =\"AbstractHeader\" "
	var Image = "name= \"AbstractHeader\" id= \"AbstractHeader\" "
	var Source = "src= \"" + ImageFolder + "AbstractHeader.gif\" "
	
	var x = document.images
	
	x["AbstractTab"].src=ImageFolder + "AbstractTabSelected.gif"
	x["AbstractTab"].onmouseover=DoNothing(x["AbstractTab"].onmouseover)
	x["AbstractTab"].onmouseout=DoNothing(x["AbstractTab"].onmouseout)
	x["AbstractTab"].onclick=DoNothing(x["AbstractTab"].onclick)
		
//-->