Hello, The server will be down for server maintenance from Sat, 12 November 5:00 to 21:00 (JST). All services on sraoss.jp, including this mailing list, will not be available during the maintenance. Sorry for inconvenience. -- Hiroyuki Yamamoto <hiro-y at kcn.ne.jp>