String urlInchi = URLEncoder.encode(inchi, "UTF-8");
list.appendChild(doc.makeListItem(doc.makeLink("http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?CMD=search&db=pccompound&term=" +
URLEncoder.encode("\"" + inchi + "\"[InChI]", "UTF-8"), "Search PubChem by InChI")));
if(!cutDown) list.appendChild(doc.makeListItem(doc.makeLink("Search?query=" + urlInchi +
"&type=inchi&resultsType=snippets", "Search local by InChI")));
if(!cutDown) list.appendChild(doc.makeListItem(doc.makeLink("Search?query=" + urlInchi +
"&type=inchi&resultsType=compoundsList", "Search local for co-occuring compounds")));
}
if(ontIDs != null) {
String [] oo = ontIDs.split("\\s+");