Update default.html

including /js/library.js