Math.random()*9001; JLuiz 20h15min de 15 de Março de 2010 (UTC)
srand(time(NULL)); cout<<rand()%9001;