ドコモのカード型のって実質10000円ぐらいじゃなかったっけ?