K31.4 Gastric diverticulum