There are ___ total Supreme Court justices.