op RANDOM renamed (in display) to RAND