function modDate()
{
	var p= document.getElementById('moddate');
	p.normalize();
	var text= p.firstChild.nodeValue;
	var i= text.indexOf('#Date:');
	var replace;
	if(i > -1)
	{
		replace= text.substring(i+6,i+17);
		replace= trimString(replace);
		var year= replace.substring(0,4);
		var mon= replace.substring(5,7);
		var day= replace.substring(8,10);
		p.removeChild(p.firstChild);
		p.appendChild(document.createTextNode('Last Modified: '+ mon + '/'+day+'/'+year));
	}

}

function trimString (str)
{
 	 str = this != window? this : str;
  return str.replace(/^\s+/g, '').replace(/\s+$/g, '');
}