PROCEDURE dum$display_hash_from_gfn, display_hash_from_gfn, dish, dishfg (
  gfn_address, address, a, ga: integer = $required
  output, o: file = $output
  )

  x = $mem($value(address)+7, 4)
  "    strip off last 3 bits with div 8 and leading bit with mod 1000000
  hash = $mod($mod(x/8, 1000000(16)), 99)
  outline = '    the file hash is '//$strrep(hash, 16)//'(16)'
  put_line outline $value(output)

PROCEND dum$display_hash_from_gfn
