var id_random = new Array();
id_random[0] = '1';
id_random[1] = '2'; 
id_random[2] = '3'; 
					
var n = id_random.length;
var whichId = Math.round(Math.random()*(n-1));
					
function chSize(x){
	
if (x==1) {x = '90%'}
else if (x==2) {x = '100%'}
else if (x==3) {x = '108%'}
else {x = '100%'}
if(document.getElementById("dinfont"))			
document.getElementById("dinfont").style.fontSize = x;
if(document.getElementById("dinfont2"))
document.getElementById("dinfont2").style.fontSize = x;
if(document.getElementById("dinfont3"))
document.getElementById("dinfont3").style.fontSize = x;
if(document.getElementById("dinfont4"))
document.getElementById("dinfont4").style.fontSize = x;
if(document.getElementById("dinfont5"))
document.getElementById("dinfont5").style.fontSize = x;
}