function change_img( target, filename, id ){
	document.images[target].src = filename;
	/* change border-color of thumbnail selected */
	change_bordercolor( id );
}

function change_bordercolor( id ) {
	obj_ul = document.getElementById("goods_thumbnailList");
	liList = obj_ul.getElementsByTagName( "li" );
	for( i=0; i<liList.length; i++ ) {
		a = liList[i].getElementsByTagName( "a" );
		if( i != id ) {
			a[0].style.border = "1px solid #CCCCCC";
		} else {
			a[0].style.border = "1px solid #666666";
		}
	}
}