<!--
if (document.images) {
	pic1= new Image(900,186); 
	pic1.src="images/SOheader.gif";
}
//-->