procedure Puzza3;