//google analytics code
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
var pageTracker = _gat._getTracker("UA-5393474-2");
pageTracker._trackPageview();



function writeFooter(no_space) {

	//Remember to also make changes to examples/bottom.html

	if (!no_space) {
		window.document.write("<BR><BR><BR>\n")
	}
	window.document.write("<FONT FACE=\"Verdana,Helvetica\" SIZE=\"-1\" COLOR=\"#523929\"><P>\n<HR NOSHADE WIDTH=\"300\" SIZE=\"1\">\n<P>\n<CENTER>\n")

	var currLoc = window.location.href
	var locPos = currLoc.indexOf("javascript")
	var javDir = currLoc.substring(0,locPos + 11)

	window.document.write("<A HREF=\"" + javDir + "index.html\">Home</A> | <A HREF=\"" + javDir + "courses/index.html\">Courses</A> | <A HREF=\"" + javDir + "exercises/index.html\">Assignments</A> | <A HREF=\"" + javDir + "examples/index.html\">Examples</A> | <A HREF=\"" + javDir + "materials/index.html\">Materials</A> | <A HREF=\"" + javDir + "resources/index.html\">Resources</A>")

	window.document.write("</CENTER>\n</FONT>\n<BR><BR>\n")
	
}





//Browser Detection

if (navigator.appName == "Microsoft Internet Explorer" && parseInt(navigator.appVersion) >= 4) {
	var isIE4 = true
	var isNS4 = false
}
else if (navigator.appName == "Netscape" && parseInt(navigator.appVersion) >= 4) {
	var isIE4 = false
	var isNS4 = true
}
else {
	var isIE4 = false
	var isNS4 = false
}


if (navigator.appName == "Microsoft Internet Explorer" && navigator.platform == "Win32"  && navigator.appVersion.indexOf("MSIE 5") >= 0) {
	var isIE5PC = true
}
else {
	var isIE5PC = false
}