<!--
var color = "FFFFFF"		// header background color
var lines = "yes"			// show lines above and below the flash logo
var linecolor = "000000"	// color of the lines
var lineheight = "1"		// height of the lines in pixels
var showdate = "yes"		// show date at the top
var showsearch = "no"		// show the search form
var searchtext = "Search:"	// text for search form

document.write('<table cellpadding="0" cellspacing="0" border="0" width="100%" bgcolor="#'+color+'">');
if (lines == "yes"){
	document.write('<tr><td height="'+lineheight+'" bgcolor="#'+linecolor+'" colspan="2">');
	document.write('<img src="images/spacer.gif" width="15" height="'+lineheight+'"><br />');
}
document.write('</td></tr><tr><td align="left" class="header-bg">');
document.write('<a href="index.html"><img src="images/logo-header.gif" border="0" vspace="3" hspace="25"></a><br />');
document.write('</td><td align="right" valign="middle">');

if (showsearch == "yes") {
	document.write('<table cellpadding="0" cellspacing="2" border="0"><tr><td colspan="2" class="search-font" nowrap>')
	document.write(''+searchtext+'<br />')
	document.write('</td><td align="left">')
	document.write('<form action="http://www.google.com/search" name="f" target="_blank" style="margin: 0px">')
	document.write('<input type="hidden" name="any selected">')
	document.write('<input size="15" name="q" value="" class="searchform">')
	document.write('</td><td align="left">')
	document.write('<input type="image" SRC="images/search-off.gif" border="0" onmouseover="this.src=\'images/search-on.gif\'" onmouseout="this.src=\'images/search-off.gif\'" alt="Search" style="margin-right:7px"><br />')
	document.write('</form>')
	document.write('</td></tr></table>')
}
if (lines == "yes") {
	document.write('</td></tr><tr><td height="'+lineheight+'" bgcolor="#'+linecolor+'" colspan="2">');
	document.write('<img src="images/spacer.gif" width="15" height="'+lineheight+'"><br />');
}
document.write('</td></tr></table>');
if (showdate == "yes") {
	document.write('<div id="date-location">');
	var d=new Date()
	var weekday=new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday")
	var monthname=new Array("January","February","March","April","May","June","July","August","September","October","November","December")
	document.write("<span class=\"date-font\"><nobr>" + weekday[d.getDay()] + " ")
	document.write(d.getDate() + ". ")
	document.write(monthname[d.getMonth()] + " ")
	document.write(d.getFullYear())
	document.write("</nobr><br /></span>")
	document.write('</div>');
}
// -->

