javascripts invoked by browser