function rank_on(num) {
	var thumbnail = document.getElementById("rankthumbnail"+num);
		thumbnail.style.borderColor = "#f00";
	}


function rank_off(num) {
	var thumbnail = document.getElementById("rankthumbnail"+num);
		thumbnail.style.borderColor = "#ccc";
	}