JAVASCRIPT權威指南第四版上說，這兩個有區別。
參見 document.URL 章節。
[document.URL是訪問的文檔URL，而window.location.href是真實的文檔URL
搞不明白。
服务器重定向后有可能使document.url变动,但window.location.href指的永远是访问该网页时用的URL.
document.url只能作为只读字符串