html emoji converter

Small utility to convert emojis into html encoded characters, aka NCRs (Numeric Character References), and vice versa.
Written and compiled on an Android phone thanks to RFO BASIC!, the GW library, and the BASIC! Compiler:RFO BASIC! https://play.google.com/store/apps/details?id=com.rfo.basicGW lib http://mougino.free.fr/gw.htmlBASIC! Compiler http://mougino.free.fr/compiler.html

Note that your Android keyboard must support unicode emojis, and not convert them to ascii e.g. upper bar should display "