ui.js no longer used; deleted