Miscellaneous PHP programs