function PrintTool(wsnav){
    this.id = "printtool";
    this.toggle = false;
    this.wsnav = wsnav;
    wsnav.tools[this.id] = this;
}
PrintTool.prototype.click=function() {
    if(divDraw.innerHTML != ""){divDraw.innerHTML = ""}    //To remove the ruler information once the map changes
    var url = this.wsnav.baseHREF+"/print.do?refresh="+Math.random();
    var x = createXmlHttpRequest();
    x.open("GET",url,false);
    x.send(null);
    window.print();
}