update example 4-12

update example 4-12