function random_pool1() { // --- start function
array_pool1 = new Array( // --- start array
new Array('
'),
new Array('
'),
new Array('')
); // --- ende array
for (i1=0;i1= 0) && (a1 < array_pool1.length)) { // --- start if
view_pool1 = array_pool1[a1];
document.write(view_pool1);
break;
} // --- ende if
} // --- ende for
} // --- ende function
random_pool1();