/* javascript functions for Random PHP page */

function GenerateRandomResult()
{
	/* use a UTC milliseconds value to fake out caching browsers */
	$dtval = Date.UTC(new Date());
	$var = new Ajax.Updater("random_result", "/computer/getrnd",{
	method: 'get',
	parameters: {
		rnd_num: $F('rnd_num'),
		rnd_char: $F('rnd_char'),
		min: $F('min'),
		max: $F('max'),
		len: $F('len'),
		num: $F('num'),
		uc: $F('uc'),
		lc: $F('lc'),
		oc: $F('oc'),
		dtval: $dtval},
	insertion: Insertion.None
	});
};