EOF
if [ "$MODE" = "images" ]; then
echo "
"
else
echo "
"
fi
i=0
grep -v "^#" ${DATAFILE} | \
while read name height x y dist flags dummy; do
if [ "$MODE" = "images" ]; then
THUMB_TITLE="${name%.jpg}"
if [ -e "${name%.jpg}.title" ]; then
THUMB_TITLE=`cat ${name%.jpg}.title`
fi
echo "
${THUMB_TITLE} (${height}m)"
else
echo "
${name} (${height}m)"
fi
i=$((${i} + 1))
done
cat << EOF