( 4231 ) , 1.