<!--
//random number generator
var now = new Date();
var seed = now.getTime() % 0xffffffff;

function rand(num){
seed = (0x015a4e35 * seed) % 0x7fffffff;
return (seed>>16) % num;
}

//-->