{
document.write('<table class="datebar" summary="date bar, shows current date and last published date">');
document.write('  <tr>');
document.write('    <td width="50%">');

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(weekday[d.getDay()] + " ")
document.write(d.getDate() + " ")
document.write(monthname[d.getMonth()] + " ")
document.write(d.getFullYear())

document.write('    </td>');
document.write('    <td width="50%" align="right">');
document.write('        <img src="/images/spacer.gif" width="60px" height="1px" />');
document.write('Last Published: 7 May 2008');
document.write('    </td>');
document.write('  </tr>');
document.write('</table>');
}