OK this may look a bit weird (mainly because you need the random number functions) but this should work
<SCRIPT>
var arrayOfOptions = ["10","11","13","14", "anything"];
rnd.today=new Date();
rnd.seed=rnd.today.getTime();
function rnd() {...