Use function_catch.js