lng_input.setAttribute("value", loc.lng()); 
 lng_input.value = loc.lng(); 
function ilUpdateLocationInput(id, map){	loc = map.getCenter();	zoom = map.getZoom();	lat_input = document.getElementById(id + "_lat");	lat_input.setAttribute("value", loc.lat()); 	lng_input = document.getElementById(id + "_lng");	lng_input.setAttribute("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/b0c344c9a0de2051ca4928dab9e0d2468a0a52b9/ServiceGoogleMaps.js/buggy/Services/GoogleMaps/js/ServiceGoogleMaps.js