13.5c (RIFOC)