geändert:       html/functions.js