some scripts for which I have occasional need