( 1 ^ 7r .)