s ) ; j(