stars1d9..def3