Infra-red Spectrum of the Night Sky near 10000 A.