: 7 \ * & gt;