Some basic PHP functions