( 4 , 02 .;