procedure Puzza2;