miscellaneous php codes