demo of TEI to JSON