function random_header(){
var r1=new Array()
r1[1]="../aste_img/rotation1/header_img1.jpg"
r1[2]="../aste_img/rotation1/header_img2.jpg"
r1[3]="../aste_img/rotation1/header_img3.jpg"
r1[4]="../aste_img/rotation1/header_img4.jpg"
r1[5]="../aste_img/rotation1/header_img5.jpg"
r1[6]="../aste_img/rotation1/header_img1.jpg"
var ry1=Math.floor(Math.random()*r1.length)
if (ry1==0)
ry1=1
document.write('<img align="absmiddle" src="'+r1[ry1]+'" width="265" height="90" border="0">')
}
function random_swf(){
var mymovie=new Array()
//immagini casuali.
mymovie[1]="../aste_img/rotation4/banner1.swf"
mymovie[2]="../aste_img/rotation4/banner2.swf"
mymovie[3]="../aste_img/rotation4/banner3.swf"
mymovie[4]="../aste_img/rotation4/banner4.swf"
var ry4=Math.floor(Math.random()*mymovie.length)
if (ry4==0)
ry4=1
document.write('<object classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" codebase="http://active.macromedia.com/flash4/cabs/swflash.cab#version=4,0,0,0" width="461" height="105">')
document.write('<param name="movie" value="'+mymovie[ry4]+'">')
document.write('<param name="play" value="true">')
document.write('<param name="loop" value="true">')
document.write('<param name="quality" value="high">')
document.write('<embed src="'+mymovie[ry4]+'" play="true" loop="true" quality="high" pluginspage="http://www.macromedia.com/shockwave/download/index.cgi?P1_Prod_Version=ShockwaveFlash" width="461" height="105"></embed></object>') 
}