6 ) ^ 7 )"