I would like to call a javascript function (included inside a html file: index.html) from a php file (x