foreach ($theMaps as $map){
	if(file_exists('images/maps/'.$map.'.gif')){
		echo '<img src="images/maps/'.$map.'.gif" title="'.$map.'" border="0">'; 
	}
	else echo='<img src="images/map/default.gif" title="Default map screenshot" border="0">';
}