The role of prophylactic gastrectomy in patients with juvenile polyposis syndrome.