9309-datum=LOCAL_DATUM["El Mene",32767]