loc = map.getCenter(); 
function ilUpdateLocationInput(id, map){	loc = map.getCenter();	zoom = map.getZoom();	lat_input = document.getElementById(id + "_lat");	//lat_input.setAttribute("value", loc.lat());	lat_input.value = loc.lat();	lng_input = document.getElementById(id + "_lng");	//lng_input.setAttribute("value", loc.lng());	lng_input.value = loc.lng();	zoom_input = document.getElementById(id + "_zoom");	zoom_input.selectedIndex = zoom;}
6251	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6251/11cceed5f58ededb070580b577b0483d7c6ee48e/ServiceGoogleMaps.js/buggy/Services/GoogleMaps/js/ServiceGoogleMaps.js