The ratio of scrambled eggs to hard-boiled eggs served at a restaurant is 6: 2. Find the number of hard-boiled eggs when the restaurant serves 15 scrambled eggs.