Short scripts from Dave's python tutorial