function EscapeShellArg($x) {
  return "'".ereg_replace("'", "\'", $x)."'";
}