ammettendo che abbia 12 numeri, dovrei estrarne 4 random, il problema è che su i quattro estratti il num 1 deve uscire con maggiore frequenza degli altri.

tutto questo è fattibile con il comando rand di php?