Forget it! I put the space in the wrong place: "# !/bin/sh", as opposed to "#! /bin/sh". I'm really sorry :( Thanks. -- H Huang