var i=0;
var textNode=banner[i];
var div;

function init(){
	div=document.getElementById('topmenu_banner');
	textNode=document.createTextNode(textNode);
	say();
	i++;
}

function say() {
	div.appendChild(textNode);
}

function remove(){
	div.removeChild(textNode);
}

function showtext(){
	remove();
	textNode=document.createTextNode(banner[i]);
      	i=(++i % banner.length);
	say();
}

function loop(){
	init();
	setInterval("showtext()", 4000);
}

function popup(url){
  settings="toolbar=no,location=no,directories=yes,status=yes,menubar=no,scrollbars=yes,resizable=yes,width=850, height=450";
  MyWindow=window.open(url,"MyWindow",settings); 
  return false;
}