restored deftjs