function banner_note(){
document.write("今日は市立図書館の休館日です。(0624)");
}