( 1 ; 587)