recompiled js3.elc