function rotatekeyfacts(num)
{
var index = randomize( 0, num) + 1;
var ct = 0;
var kfacts = new Array();
 
kfacts[ct]="<h1>231</h1><p>modern distribution facilities</p>";
ct=ct+1;
 
kfacts[ct]="<h1>Portfolio</h1><p>independently valued at  2.8 billion euros</p>";
ct=ct+1;
 
kfacts[ct]="<h1>4.9 million</h1><p>square metres of leasable space</p>";
ct=ct+1;
 
kfacts[ct]="<p>Pan-European platform spans</p><h1>11 countries</h1>";
ct=ct+1;
 
kfacts[ct]="<h1>91.5%</h1><p>occupied</p>";
ct=ct+1;
 
kfacts[ct]="<p>One of <h1>Europe's</h1></p><p>largest owners of distribution facilities</p>";
ct=ct+1;
 
kfacts[ct]="<h1>100%</h1><p>focused on industrial real estate</p>";
ct=ct+1;
 
kfacts[ct]="<h1>5.1 years</h1><p>to lease expiry</p>";
ct=ct+1;
 
kfacts[ct]="<h1>Buildings</h1><p>are 9.9 years old on average</p>";
ct=ct+1;
 
kfacts[ct]="<h1>Over 90%</h1><p>of global trade is transported by sea</p>";
ct=ct+1;
 
kfacts[ct]="<h1>Committed</h1> <p>to being a socially responsible business</p>";
ct=ct+1;
 
kfacts[ct]="<h1>Serving</h1><p>over 200 customers</p>";
ct=ct+1;


document.getElementById('keyfacts').innerHTML=kfacts[index-1];
}