var MONTH_NAMES=new Array('January','February','March','April','May','June','July','August','September','October','November','December','Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec');

var today = new Date(document.lastModified);
var dd=today.getDate();
var mm=today.getMonth();
var yy=today.getFullYear();
if ( yy <= 1999 ) {
yy=yy+100;
} 

document.write("<table width=\"550\" cellpadding=\"0\" cellspacing=\"0\" border=0><tr><td colspan=\"2\"><img src=\"/eng/images/botdot.gif\" width=550 height=3 alt=\"\" border=\"0\"></td></tr><tr>");
document.write("<td>2007<img src=\"/eng/images/copy.gif\" width=\"12\" height=\"11\"> | <b>");
document.write("<a href=\"/eng/info/notice.htm\" class=\"nline\">Important notices</a></b></td>");
document.write("<td align=\"right\">Last revision date: "+dd+" "+MONTH_NAMES[mm]+" "+yy+"</td></tr></table>");