+ return (top.topurl+"/ask_uwobo?url="+
+ escape(processorURL + "apply?" +
+ "xmluri=" + escape(url) +
+ "&keys=" + escape(thkeys) +
+ "¶m.processorURL=" + escape(processorURL) +
+ "¶m.getterURL=" + escape(getterURL) +
+ "¶m.proofcheckerURL=" + escape(proofcheckerURL) +
+ "¶m.draw_graphURL=" + escape(draw_graphURL) +
+ "¶m.uri_set_queueURL=" + escape(uri_set_queueURL) +
+ "¶m.UNICODEvsSYMBOL=" + escape(UNICODEvsSYMBOL) +
+ "¶m.keys=" + escape(keys) +
+ "¶m.thkeys=" + escape(thkeys) +
+ "¶m.embedkeys=" + escape(embedkeys) +
+ "¶m.doctype-public=" + escape(doctype_public) +
+ "¶m.encoding=" + escape(encoding) +
+ "¶m.thencoding=" + escape(thencoding) +
+ "¶m.media-type=" + escape(media_type) +
+ "¶m.thmedia-type=" + escape(thmedia_type) +
+ "¶m.interfaceURL=" + escape(interfaceURL) +
+ "¶m.thinterfaceURL=" + escape(thinterfaceURL) +
+ "¶m.CICURI=" + escape(CICURI) +
+ "¶m.naturalLanguage=" + escape(naturalLanguage) +
+ "¶m.annotations=" + escape(annotations) +
+ "¶m.topurl=" + escape(topurl) +
+ "&prop.method=html"));