removed obsolete functions in functions.js