To convince yourself that the bug is not with PHP, run this code until $pick is equal to 3:
<?php
$v = array(
1 => 'video/Auto-Turschoss-Enteisung.flv',
2 => 'video/boobies.flv',
3 => 'video/Homemade-Water-Slide.flv'
);
$pick = mt_rand(1, 3);
echo $pick . '<br>';
if ($pick == 3)
{
echo $v[3];
}
?>
The problem is probably that the settings element only appears when you view source. I do not recall a settings element in HTML though, but then I could have missed it when reading the specification.
EDIT:
Right, there is no settings element in HTML, but then SGML and XML do not prohibit a markup language with such an element.