Some usefull PHP functions