CONVERT_DB(stroke5 "stroke5.txt")

