Some code about PHP