javascript that is autoloaded and executed by Firefox