[ 7256 . / )^