some small bits of php