Nearly 23 percent of IRSD students seek mental-health services