removed 'return' from Flush. bracmatJS.html is just new