#3868: JS file