this is some php file about php function