var pics = new Array(
	'images/h1.jpg',
	'images/h2.jpg',
	'images/h3.jpg',
	'images/h4.jpg',
	'images/h5.jpg',
	'images/h6.jpg',
	'images/h7.jpg',
	'images/h8.jpg',
	'images/h9.jpg',
	'images/h10.jpg',
	'images/h11.jpg',
	'images/h12.jpg');
	
var prev = 20;
var curr = 20;

function rotate_pic()
{
	if (!document.images) return
	while (curr == prev)
	{
		curr = curr + 1;
	}
	if (curr >= pics.length) curr = 0;
	prev = curr;
	document.images['pics'].src = pics[curr];
	setTimeout('rotate_pic()',5000);
}