//= require "jquery-ui"

function then_do_stuff() {
  
}