if ((self.location.href == top.location.href) || (top.location.href.indexOf("oliv-landy") == -1)) top.location.replace('index.php');

if (nn4 && win) with (document)
	{
	writeln(' ');
	writeln('<style type="text/css">');
	writeln('body,p,td,input,textarea,span,div {font-size:13px}');
	writeln('b.topic {font-size:24px}');
	writeln('small {font-size:10px}');
	writeln('sup {font-size:7px}');
	writeln('<'+'/'+'style>');
	}

function changedeco(newdeco)
	{
	newdeco = "deco-" + newdeco + ".html";
	currentdeco = parent.decoleft.location.href;
	if (currentdeco.indexOf(newdeco) == -1)
		{
		parent.decoleft.location.replace(newdeco);
		}
	}