// JavaScript Random Images by Matt Ditter (Jan. 2009)
// version 1 (January 2009)
function randomize() {
		var randomNumber = parseInt(Math.random() * 4) + 1, img = document.getElementById('contextual');
		if (img.src.indexOf('i-random') != -1 ) img.src = '/design/images/i-random' + randomNumber + '.jpg';
	}