<?php
function RND (n, x) {return Math.round (n + Math.random () * x)}
function HEX () {for (var t = [], k = 0; k < 6; k++) t [k] = RND (0, 16).toString (16); return ('#' + t.join (''))}
function CHC (q) {q.style.color = HEX (); setTimeout (CHC, RND (50, 150), q)}
for (var s = document.body.querySelectorAll ('.ef4'), j = 0, J = s.length; j < J; j++) CHC (s [j]);
?>