dojox.date.php.DateFormat = function(date){ 
dojox.date.php.DateFormat = function(/*Date*/ date){ 
dojox.date.php.DateFormat = function(date){	this.date = date;}
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/8dcd6a5fe92621a1c5e6ee8b91404ccf8ba01b15/php.js/clean/date/php.js