Update 00_introduction.js