#! /bin/csh -fe

set usage = "$0"

if ( $#argv != 0 ) then
  echo "usage: ${usage}"; exit 1
endif

ls -d [0-9][0-9][0-9][0-9]