include JavaScript code in HTML file, PHP style :)