Mine

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">';}