function downloadGPS(name)
{
	var w = document.formGPS.dropGPS.selectedIndex;
	/*var selection = document.formGPS.dropGPS.options[w].text;*/
	var selection = document.formGPS.dropGPS.value;
	if( selection != "null" )
	{
		var file = "gps/" + name + "." + selection;
		window.open (file,"mywindow");
	}
}