v [ 8640 .]