やっぱりドコモのエリアメールは鳴らなかった…。