update example 5-12

update example 5-12