function modified_l() 
{	
	var mon = "mmm";
	var mlist = new Array("jan","feb","mar","apr","may","jun","jul","aug","sep","oct","nov","dec");
	
	date = new Date(document.lastModified);	
  	for(var i = 0; i <= 11; i++)
  	{
  		if ((date.getMonth())==i) mon=mlist[i];
		}
	// alert(mon);
	document.write(date.getDate()+"-"+ mon +"-"+date.getFullYear());

}