Filesystem 1024-blocks Used Available Capacity Mounted on
/dev/hda2 1018329 347299 618418 36% /
/dev/hda3 12314675 14 11674873 0% /h5a
The percentages are consistent with the numbers from Used and Available,
not from the 1024-blocks column.
Thanks to everyone who helped get this working. I'll send details
in a separate message for future reference.
Stephen