if ($#ARGV != 0)