copied from publicnames.js