9.30 e. n .