<!--
id_old = 0;
function showpic(id, id_old){
	document.getElementById(id_old).className = 'pic_off';
	document.getElementById(id).className = 'pic_on';
	id_old = id;
}
//-->