A set of useful PHP fucntions...