( The Grinnell automatic sprinkler.