A few python scripts I wrote