function show_random_pix() {
randompix=new Array()
randompix[0] = "
";
randompix[1] = "
";
randompix[2] = "
";
randompix[3] = "
";
randompix[4] = "
";
/*
randompix[0] = "
";
randompix[1] = "
";
randompix[2] = "
";
randompix[3] = "
";
randompix[4] = "
";
randompix[5] = "
";
randompix[6] = "
";
randompix[7] = "
";
randompix[8] = "
";
*/
index = Math.floor(Math.random() * randompix.length);
document.write(randompix[index] + "\n");
}