ex42
ex42a
corrections