[Dev-C++] Random Number

[Jose F. <jf...@ax...>]

what is a good simple command to get a random number from 1 to 13?  I keep
getting the run around when I ask this question...
Thanks 
Jose