useful JSFLs