K38.2 Diverticulum of appendix