function roll_in(id) {
	var d = document.getElementById(id);
	if (d) {d.src='./img/header_menu_'+id+'_over.png';}
}

function roll_out(id) {
	var d = document.getElementById(id);
	if (d) {d.src='./img/header_menu_'+id+'.png';}
}