: | ^ ' * ) & gt;