#! /bin/sh

if [ -z "$SEPATH" ]; then
  SEPATH=/opt/RICHPse/toptool
else
  SEPATH="$SEPATH":/opt/RICHPse/toptool
fi
export SEPATH

exec se -o- toptool.se | se -n
