added randsymbol to doc.title