var hlavka_color_border = "000000";
var hlavka_color_bg = "FFFFFF";
var hlavka_color_link = "0000FF";
var hlavka_color_text = "000000";
var hlavka_color_url = "008000";

/* rutina */

function go()
{
	if (parent != self) top.location = self.location;
}

go();