//Thu Jun 25 15:46:47 CEST 2009
		
		var isAArr = new Array();
		
				var serverArr = new Array("0");
			
		
		var max = serverArr.length; 		
			
		
			
			for (i=0;i<max;i++) {
				isAArr[serverArr[i]] = new Array("");   // Array, weil ggf. server-spez. Konfigurationen hinterlegt werden sollen
			}
			
			function runInterStitial( whServ, whStyle )	{
			
					return;
				}