K38.2: Diverticulum of appendix