problem 12
begin problem 13