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