Tiberias ’ befolkning , som uppgår tili omkring 4 , 000.