( ■ * ■523)