function all_load()
	//prüft, ob Variable frameset_geladen gleich okay ist,
	//wenn nein, dann lade index.htm
	{
	if (top.frameset_geladen != "okay")
	top.location.href = "index.htm";
	}