I hope this not relevant anymore since our JS is quite different now