var frameset_geladen = "okay";