) | pra d ( ) ;_