( 4139 ) .1.