<!-- 
// format date as dd-mmm-yy
// year procedure because IE and NetScape returns diferent values
function date_ddmmmyy(date)
{
  var d = date.getDate();
  var m = date.getMonth() + 1;
  var y = date.getYear();

  return "" + (d<10?"0"+d:d) + 
	"/" + m + "/" + 
	(y<=110?"0"+(y-100):(y<=199?y-100:y));
}

document.write( 
  "actualitzat: " + date_ddmmmyy(new Date(document.lastModified)) );
// -->