// JavaScript Document
window.onload = function(){
	if( $('thumbs') != null ){
		var divs = $('thumbs').getElementsByTagName('div');
		var m = 0;
		for(var i = 0; i < divs.length; i++){ if( divs[i].offsetHeight > m ){ m = divs[i].offsetHeight; } }
		for(var i = 0; i < divs.length; i++){ divs[i].getElementsByTagName('a')[0].style.height = m + 'px'; }
	}
}