function deadPlatypus ()
{
	// Frivolosity killed the platypus, yo.
	document.getElementById("zzzzz").style.marginTop = (window.outerHeight-270)/2 + "px";
}