modify getRand13()