inline and external JS in HTML