<!--//

// These global functions should hopefully override any other scripts which exist, which may perform different actions. 
// This script should be inserted at the bottom of any pages, such that these functions take precedence.

// i.e. The point is that we want these functions to do nothing, since previously-defined functions may do pop-ups or other stuff, which we
// don't want them to do any longer.

function welcome(){}

function unloadme(){}

function killcontext(){}

function killrightmouse(){}

//-->