<!--

function reallyRedirect()
{
	window.location = "http://en.wikipedia.org/wiki/Special:Random";
}
function redirect()
{
	var lnk = document.getElementById('link');
	lnk.style.zIndex=-10;
	setTimeout(reallyRedirect, 1000);
}

function init()
{
	var src = "http://peek.aladdin.cs.cmu.edu/cgi-bin/clickjack1";
	document.getElementById('setup').innerHTML = '<iframe src="'+src+'" class="frameclass"></iframe>';
	
}

-->

