function change_archive_title(){
	a = document.getElementById("month_link_01").getElementsByTagName("a");
	for (i=0; i<a.length; i++){
		a[i].innerHTML = a[i].title;
	}

	b = document.getElementById("month_link_02").getElementsByTagName("option");
	for (i=0; i<b.length; i++){
		b[i].innerHTML = b[i].title;
	}
}