function getWMURI () { return window.location.href+',,,'+document.title; }