document.write("<title>" + instructor_name + "'s " + site_title + " -- " + breadcrumb_names[breadcrumb_names.length-1] + "</title>");
if(print==0)
	document.write("<link rel='stylesheet' href='" + style_sheet + "' type='text/css'>");
else
	document.write("<link rel='stylesheet' href='" + printing_style_sheet + "' type='text/css'>");
document.write("<link rel='shortcut icon' href='" + icon_file_name + "'>");