Small php scripts for doing various