/* 文字コードはUTF-8 */
function selectArticleCategory(category){
	if(category){
		window.location.href = '/article/' + category + '/';
	}
}

function bookmarkPage(){
	if(document.all && !window.opera){
		var bookmarkurl = document.URL;
		var bookmarktitle = document.title;
		window.external.AddFavorite(bookmarkurl, bookmarktitle);
	}
}