ajax date time

	string getAjaxDateTime() const	{		char timeString[50]; // better too long than too short		time_t rawtime;		struct tm * timeinfo;		time ( &rawtime );		timeinfo = localtime ( &rawtime );		strftime (timeString, 50, "%a%b%d%H%M%S%Y", timeinfo); 		return string(timeString);	}