<!--
function reloadPage(init) 
	{if (init==true) with (navigator)
	{if ((appName=="Netscape")&&(parseInt(appVersion)==4))
	{document.pgW=innerWidth; document.pgH=innerHeight; onresize=reloadPage;}}
	else if (innerWidth!=document.pgW || innerHeight!=document.pgH) location.reload();}
	reloadPage(true);
function BustFrames()
	{if (self.parent.frames.length!=0)
	{self.parent.location.replace(document.location.href);}}

var speed = 5
var pause = 1000 
var timerID = null
var bannerRunning = false
var ar = new Array()

ar[0] = "Webdesign"
ar[1] = "Onlineshops"
ar[2] = "Netzwerkservice"
ar[3] = "Systembetreuung"

var message = 0
var state = ""
clearState()

function stopBanner() {	
	if (bannerRunning)		
	clearTimeout(timerID)	
	timerRunning = false}

function startBanner() {	
	stopBanner()	
	showBanner()}

function clearState() {	
	state = ""	
	for (var i = 0; i < ar[message].length; ++i) {		
		state += "0"}}

function showBanner() {	
	if (getString()) {			
		message++		
	if (ar.length <= message)			
		message = 0			
		clearState()		
		timerID = setTimeout("showBanner()", pause)	} 
	else {
		var str = ""			
	for (var j = 0; j < state.length; ++j) {			
		str += (state.charAt(j) == "1") ? ar[message].charAt(j) : "     "}		
	window.status = str		
	timerID = setTimeout("showBanner()", speed)	}}

function getString() {	
	var full = true	
	for (var j = 0; j < state.length; ++j) {		
		if (state.charAt(j) == 0)			
		full = false}	
	if (full) return true	
	while (1) {			
		var num = getRandom(ar[message].length)			
	if (state.charAt(num) == "0")			
		break}	
	state = state.substring(0, num) + "1" + state.substring(num + 1, state.length)	
	return false}

function getRandom(max) {	
	var now = new Date()		
	var num = now.getTime() * now.getSeconds() * Math.random()	
	return num % max}
startBanner()
// -->