rich>=13.7
