string ditto; ditto = char 34;