4if [ -z $JPP_DIR ]; then
 
    5    echo "Variable JPP_DIR undefined."
 
    9source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
   11set_variable   WORKDIR     ${TMPDIR:-/tmp}/
 
   12set_variable   DETECTOR    49
 
   13set_variable:  FORMAT      GRAPHICS_FORMAT        gif
 
   14set_variable+  BATCH       GRAPHICS_BATCH         -B
 
   17    usage "$script <input file>"\
 
   18          "\nExample input file https://git.km3net.de/calibration/input_tables/-/blob/master/data/sound/SV_Profile_ORCA_250120.txt"
 
   22    fatal "Wrong number of arguments."
 
   29rm -f $WORKDIR/sound_velocity.txt
 
   31JAcoustics.sh $DETECTOR
 
   33tail -1 sound_velocity.txt | read A B DEPTH
 
   40    -F "$A - 1.0 * $B * (x + $DEPTH)"  \
 
   44JGraph -f $1 -o $WORKDIR/graph.root
 
   47    -f $WORKDIR/graph.root:\.\*        \
 
   48    -f $WORKDIR/f1.root:\.\*           \
 
   52    -o sound-velocity.$FORMAT          $BATCH