.\" @(#)starstitle	1.1	10/15/90
.TI "DE Stars"
