(courses highlightd in red are running in this semester)