As of 2000[update], there were 9,045 pupils in Bern who came from another municipality, while 1,185 residents attended schools outside the municipality. How many pupils attended school outside of the city