'
randombandiera[1]='
'
randombandiera[2]='
'
randombandiera[3]='
'
randombandiera[4]='
'
randombandiera[5]='
'
randombandiera[6]='
'
randombandiera[7]='
'
function random_tot(){
var porta=Math.floor(Math.random()*randombandiera.length);
document.write (randombandiera[porta]);
}