  We report the detection of a strong submillimeter wavelength HCN laser line
at a frequency near 805 GHz toward the carbon star IRC+10216. This line, the
J=9-8 rotational transition within the (04(0)0) vibrationally excited state, is
one of a series of HCN laser lines that were first detected in the laboratory
in the early days of laser spectroscopy. Since its lower energy level is 4200 K
above the ground state, the laser emission must arise from the inner part of
IRC+10216's circumstellar envelope. To better characterize this environment, we
observed other, thermally emitting, vibrationally excited HCN lines and find
that they, like the laser line, arise in a region of temperature approximately
1000 K that is located within the dust formation radius; this conclusion is
supported by the linewidth of the laser. The (04(0)0), J=9-8 laser might be
chemically pumped and may be the only known laser (or maser) that is excited
both in the laboratory and in space by a similar mechanism.
