var images = [ 'duke.gif', 'penguin.gif', 'ruby.gif' ];
var titles = [ 'Java programming since release 0.*', 'Unix since 1984', 'Ruby and Rails since 2007 (this will be more cool in about 10 years)' ];
function randomizeImage()
	{
	var index = parseInt(Math.random() * images.length)
	document.getElementById('toy').src = '/images/' + images[index];
	document.getElementById('toy').title = titles[index];
	}