some little programs, useful