miscellaneous Various functions I find useful -- not checked by anyone else, careful before using them!