function doheader()
{
document.write('<table bgcolor="#ffff96" width=100% border=0 cellspacing=0 cellpadding=0><tr>' +

'<td align="center" width=260><IMG src="images/arv-com-logo-250x78-3-yellow.gif" width=250 height=78 alt="Text: Automated Road Vehicles for Passenger Transportation"></td>' +

"<td>&nbsp;</td>" +

'<td width=190 ><IMG src="images/xmb-side-person-9-169x78-yellow.gif" width=169 height=78 alt="Automated road vehicle and person"></td>' +

'<td width=190 align="center"><IMG src="images/xmb-front-back-at-grade-5a-213x78-yellow.gif" width=213 height=78 alt="Two automated road vehicles on exclusive roadway"></td>' +

"</tr>" +

"<tr><td colspan=3>&nbsp;</td></tr>" +

"</table>");
}