function XMLtoJSON($xml) {

  $xml = file_get_contents($xml);    // gets XML content from file

  $xml = str_replace(array("\n", "\r", "\t"), '', $xml);    // removes newlines, returns and tabs

  // replace double quotes with single quotes, to ensure the simple XML function can parse the XML

  $xml = trim(str_replace('"', "'", $xml));

  $simpleXml = simplexml_load_string($xml);

  return stripslashes(json_encode($simpleXml));    // returns a string with JSON object

}