function
main()
{
	var ctxmenu;

	ctxmenu = document.getElementsByClassName("banner")[0];
	if(!ctxmenu){
		fprint(2, "no context menu found");
		return;
	}

	document.addEventListener("contextmenu", function ctxmfired(e){
		ctxmenu.style.top = e.pageY + "px";
		ctxmenu.style.left = e.pageX + "px";
		e.preventDefault();
	});
}