divided by 13 rsa31c