var images= new Array();
var images_w=new Array();
var images_h=123;
var nimages=0;
/****************************************/
images_w[nimages]=128;
images[nimages++]="daitarn.jpg";

images_w[nimages]=150;
images[nimages++]="jeeg.jpg";

images_w[nimages]=167;
images[nimages++]="kenshiro.jpg";

images_w[nimages]=155;
images[nimages++]="sampei.jpg";

images_w[nimages]=164;
images[nimages++]="tigerman.jpg";	

images_w[nimages]=151;
images[nimages++]="ghost.jpg";	

images_w[nimages]=114;
images[nimages++]="harlock.jpg";	

images_w[nimages]=164;
images[nimages++]="kenred.jpg";

images_w[nimages]=111;
images[nimages++]="holly.jpg";	

images_w[nimages]=111;
images[nimages++]="carletto.jpg";	

images_w[nimages]=121;
images[nimages++]="ken_.jpg";

images_w[nimages]=156;
images[nimages++]="fantaman.jpg";	

images_w[nimages]=100;
images[nimages++]="lupin2.jpg";	

images_w[nimages]=157;
images[nimages++]="lupin.jpg";	

images_w[nimages]=109;
images[nimages++]="mila.jpg";	

images_w[nimages]=131;
images[nimages++]="yattaman.jpg";	

images_w[nimages]=135;
images[nimages++]="calendarman.jpg";	



/****************************************/
var last_img=-1;

function get_random_img()
{
	// random
	var w=0;
	do{	
	   w=Math.floor( Math.random()*nimages  );
        } while (w == last_img);
        last_img=w;

	return w;    
}

function draw_random_img()
{
  document.write("<img height=\"40\" src=\"img_header/"+images[get_random_img()]+"\" border=\"0\" alt=\"\">");
}