( 42 7 01)