function thumb_over(which){
if (document.all||document.getElementById){
	which.style.borderColor='#CC0000'
}
}
function thumb_out(which){
if (document.all||document.getElementById){
	which.style.borderColor='#CCCCCC'
}
}