// -- JavaScript to interpolate random images into a page. ---
var ic = 14;                     	// Number of alternative images
var header = new Array(ic);			// Array to hold filenames
header[0] = "header1.jpg";
header[1] = "header2.jpg";
header[2] = "header3.jpg";
header[3] = "header4.jpg";
header[4] = "header5.jpg";
header[5] = "header6.jpg";
header[6] = "header7.jpg";
header[7] = "header8.jpg";
header[8] = "header9.jpg";
header[9] = "header10.jpg";
header[10] = "header11.jpg";
header[11] = "header12.jpg";
header[12] = "header13.jpg";
header[13] = "header14.jpg";

function pickRandom(range) {
	if (Math.random)
		return Math.round(Math.random() * (range-1));
	else {
		var now = new Date();
		return (now.getTime() / 1000) % range;
	}
}
// Write out an IMG tag, using a randomly-chosen image name.
var choice = pickRandom(ic);


// -- Antispam -----------------------------------------------
function noSpam(user, domain, ext){
	locationstring = "mailto:" + user + "@" + domain + "." + ext;
	window.location = locationstring;
}

// -- toggle_visibility --------------------------------------
function toggle_visibility(id, id2) {
	var e1 = document.getElementById(id);
	var e2 = document.getElementById(id2);
	if(e1.style.display == 'none') {
		e1.style.display = 'block';
		e2.innerHTML = 'Verberg meer info';
	}
	else {
		e1.style.display = 'none';
		e2.innerHTML = 'Toon meer info';
	}
}