getWmcById($wmc_id); if ($wmc_gml){ //Display WMC header("Content-type: application/xhtml+xml; charset=".CHARSET); echo $wmc_gml; } else{ echo "Invalid document!"; } } ?>