( 7 — omlr , 10 , 15)