echo
echo "Downloading $URL to $FILE"
curl -s -b "$COOKIE" "$URL" --output "$FILE"
-echo
+echo ========================================================================
+cat "$FILE"
+echo ========================================================================
echo "lines words chars"
wc "$FILE"
echo