<!–
WriteFlash(' ‘);
//–>

different kinds of randomness treated here