g', 400, 350, 100, 30);
					var e1 = graph.insertEdge(parent, null, 'Tooltips', v1, v2);
					var e2 = graph.insertEdge(parent, null, '', v2, v3);
				}
				finally
				{
					// Updates the display
					graph.getModel().endUpdate();
				}
			}

			var map100Zoom = 13;
			var map = L.map('map',
				{
					attributionControl: false,
					zoomControl: false,
					trackResize: false,
					keyboard: false,
					scrollWheelZoom: false,
					tap: false,
					zoomDelta: 0.1,
					zoomSnap: 0
				}	
			).setView([