ירושלים, סנהדריה / Jerusalem, Sanhedriyya