push gasfrac.js with HTML loader 3