function printWindow()
{
    window.print();
}

function highlightTool(pImgTool, event)
{
    if (event == "onmouseout")
        pImgTool.style.border = "1px dashed white";
    else if (event == "onmouseover")
        pImgTool.style.border = "1px solid blue";
    else if (event == "onclick")
        pImgTool.style.border = "1px solid red";
}