( " 6 7)