var specialcase = ((navigator.userAgent.indexOf('Mac') != -1) || document.all)
var flag = 0;
var msg = 'Deze afbeelding is copyright Rudy Verbrugh.\nNiet koppen a.u.b.!.';
var x,y,x1,y1,copyAttempt;
function init(){if (!(document.getElementById || document.all || document.layers)) return;
if (specialcase && document.layers)	{document.captureEvents(Event.MOUSEMOVE);
document.onmousemove = special;}
for (i=0;i<document.images.length;i++){document.images[i].onmousedown = checkIt;
document.images[i].onmouseup = function() {return false};
if (specialcase){document.images[i].onmousemove = special;
document.images[i].onclick = clearIt;}}}
function checkIt(e){copyAttempt = 0;
if (window.Event){x = e.screenX;y = e.screenY;theButt = (e.which == 3);}
else{x = window.event.clientX;y = window.event.clientY;theButt = (window.event.button == 2);}
if (theButt){copyAttempt = 1;flag = 0;alert(msg);return false; // NN4 only
}
if (specialcase) flag = 1;return false;}
function special(e){theObj = '';if (window.Event){
x1 = e.screenX;y1 = e.screenY;if (e.target.parentNode) theObj = e.target.parentNode.tagName;}
else{x1 = window.event.clientX;y1 = window.event.clientY;
theObj = window.event.srcElement.parentElement.tagName;}var isLink = (theObj == 'A');
if (flag && (!isLink || ((Math.abs(x-x1) > 10) || (Math.abs(y-y1) > 10)))){
copyAttempt = 1;flag = 0;alert(msg);return false;}}
function clearIt(){flag = 0;if (copyAttempt){copyAttempt = 0;return false;}}

function initArray()
{
this.length = initArray.arguments.length
for (var i=0;i<this.length;i++)
this[i+1] = initArray.arguments[i]
}

function pagelastupdated()
{
var DOWArray = new initArray("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
var MOYArray = new initArray("January", "February", "March", "April", "May", "June", "July", "August","September", "October", "November", "December");
var LastModDate = new Date(document.lastModified);
document.write("Page last updated on:  ");
document.write(DOWArray[(LastModDate.getDay()+1)],", ");
document.write(MOYArray[(LastModDate.getMonth()+1)]," ");
document.write(LastModDate.getDate(),', ',(LastModDate.getYear()+0));
document.write(".");
}

function stattxt(txt){self.status = txt}
function statoff(){self.status = ""}