[javascript] How can I get the name of an html page in Javascript?