Den judiska befolkningen i Jerusalem säges uppgå till ett antal af 13 — 15 , 000.