//
//CONSTANTS 
//



function initialisePageTools()
{
    if(document.getElementById)
    {
        var pageTools = document.getElementById("pageTools");

        var oLIprint = document.createElement("li");
        
        oLIprint.innerHTML = '<a href="#" id="tools-printLink" title="Print page" onclick="return printPage();">Print-friendly version</a>';       
        pageTools.appendChild(oLIprint);
    }
}

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

/* ---------------------------------------------
Attaches the given event handler eventHandler to the given object
for the event given with its name (click, mouseover, etc)
--------------------------------------------- */
function attachEventHandler(object, eventName, eventHandler)
{
    if(window.addEventListener){ // Mozilla and co.
        object.addEventListener(eventName, eventHandler, false);
    } else if(object.attachEvent){ //IE
        object.attachEvent('on' + eventName, eventHandler);
    }
}

attachEventHandler(window, "load", initialisePageTools);