php 一些函数