""" npm install rdf-tools """

""" js const rdf = require('rdf-tools') """

""" js const dtStr = rdf.dateFormat(new Date()) console.log(dtStr) """

""" js const htmlStr = '

' const str = rdf.htmlEscape(htmlStr) console.log(str) """

""" js const Unstr = rdf.htmlUnEscape(str) console.log(Unstr) """

""" ISC """