( T , v , 4017)