function PageTools()
{
    var el = document.getElementById("pageTools");
    if (el)
    {
        var html = "<a href='javascript:window.print();' class='print'>Print page</a>";
        html += "<a href='mailto:namn@adress.se?body=" + document.location.href + "' class='mail'>Tell a friend</a>";
        el.innerHTML = html;
    }
}