Usefull PHP functions.