#!/bin/bash

grep 'folder.gif' data/spacecruft-sats.html |				\
	cut -f 7 -d ">" |						\
	cut -f 1 -d "/" >						\
	data/spacecruft-ids.txt

cat data/spacecruft-ids.txt