function ilGetUserMarkers(id, map){	var batch = [];	var t;	var j;		// Creates a marker at the given point with the given number label        function ilCreateMarker(id, point, number) {          var marker = new GMarker(point, {icon: ilMarkerIcon});          GEvent.addListener(marker, "click", function() {			ilMapOpenInfoWindow(marker, id, number);          });          return marker;        }	if (ilMapUserMarker[id])	{					for (var i=0;i<ilMapUserMarker[id].length;i++)		{			point = new GLatLng(ilMapUserMarker[id][i][0],				ilMapUserMarker[id][i][1]);			marker = ilCreateMarker(id, point, i);			ilMapUserMarker[id][i][3] = marker;			batch.push(marker);		}				/* we do not know, why this is not working...		for (var i=0;i<ilMapUserMarker[id].length;i++)		{			point = new GLatLng(ilMapUserMarker[id][i][0],				ilMapUserMarker[id][i][1]);			marker = new GMarker(point, {icon: ilMarkerIcon});						GEvent.addListener(marker, "click", function() {				ilMapOpenInfoWindow(marker, id, i);			});			batch.push(marker);		}*/	}	return batch;}
6251	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6251/6d68452a7d7eb65ba49274796ede08651a6b3c15/ServiceGoogleMaps.js/clean/Services/GoogleMaps/js/ServiceGoogleMaps.js