$NOT は現在ダウンしています。