small php functions. very useful