There are ten federal holidays set by law.