$DOT が7を越えられるようになるまで何年かかるんだろう、ふふふ