<!-- // hide scripts for JavaScript disabled browsers
function showGpsF() {
	document.write('<select name="menu2" class="tekstTabel" style="width: 170px" onChange="jumpOnSelect(\'self\',this,0)">');	
	document.write('<option selected>Choix du logiciel pour GPS</option>');		
	document.write('<option value="assets/gps/mio-navman.csv.zip">Mio - Navman</option>');	
	document.write('<option value="assets/gps/tomtom.ov2.zip">TomTom</option>');		
	// document.write('<option value="gps/Mio.zip">Mio</option>');		
	// document.write('<option value="gps/Navman.zip">Navman</option>');
	// document.write('<option value="gps/TomTom.zip">TomTom</option>');
	
	document.write('</select>');
}
// end hiding of JavaScript code -->
