function pic_dn(n)
{
	e = document.getElementsByName(n);
	if (e.length == 1) {
		e[0].className = "picdn";
	}
}
function pic_up(n)
{
	e = document.getElementsByName(n);
	if (e.length == 1) {
		e[0].className = "picup";
	}
}