function OpenImage(url, width, height) {

	idx = Math.floor(Math.random()*10000);
	newwin = window.open(url,'i' + idx,'title=0, toolbar=0,scrollbars=0,location=0,directories=0,status=0,menubar=0,width=' + width + ',height=' + height + ',border=thin,top=0,left=0,help=0');
}
function change_image(num, num1) {

	//count = 6-1;

	bigimage.src = img[num].src;

	for (i=1; i <= num1; i++){
		document.all.item("img_" + i).border = '0';
		document.all.item("img_" + i).style.margin = '6';
		}

	document.all.item("img_" + num).border = '6';
	document.all.item("img_" + num).style.margin = '0';

	//window.status = num;
}