<!--  
var min_num = 1;  
var max_num = 4;  
var diff = max_num-min_num+1 ;  
var rnd_number=1; 
//the refresh delay in seconds 
var r_delay = 8;  


//one for each image 
var banner_image = new Array(4); 
banner_image[1]="images/banner_seifert.gif"; 
banner_image[2]="images/banner_info.gif"; 
banner_image[3]="images/banner_futurelink.gif"; 
banner_image[4]="images/banner_departer.gif"; 

//one for each image 
var banner_link = new Array(4); 
banner_link[1]="http://www.dubai-wirtschaftsrecht.de"; 
banner_link[2]="banner_info.htm"; 
banner_link[3]="http://www.futurelink.ae"; 
banner_link[4]="http://www.departer.com"; 

//one for each image leave as "" for current window 
var banner_target = new Array(4); 
banner_target[1]="new"; 
banner_target[2]="new"; 
banner_target[3]="new"; 
banner_target[4]="new"; 
r_delay=r_delay*1000; 
  
function get_img(){ 
  
rnd_number=Math.floor(Math.random()*diff + min_num);  
eval("document.images.the_banner.src=banner_image[" + rnd_number + "]"); 
//remove this line if you only want the banner rotated at load 
setTimeout("get_img();",r_delay); 
} 
  
function go_url(){ 
if(banner_target[rnd_number] == ""){targetwin="_top";}
else
{targetwin=banner_target[rnd_number];} 
eval("window.open(url = banner_link[" + rnd_number + "],'"+ targetwin +"');");  
} 
// -->