( 4242 » .)