function erics_random_header_image() {
$location = '';
break;
case 2:
echo $location;
echo 'gridfocus/images/game-atari-space-invaders.jpg">';
break;
case 3:
echo $location;
echo 'gridfocus/images/game-defender.jpg">';
break;
case 4:
echo $location;
echo 'gridfocus/images/game-donkey.jpg">';
break;
case 5:
echo $location;
echo 'gridfocus/images/game-frogger.jpg">';
break;
case 6:
echo $location;
echo 'gridfocus/images/game-galaga.jpg">';
break;
case 7:
echo $location;
echo 'gridfocus/images/game-joust.jpg">';
break;
case 8:
echo $location;
echo 'gridfocus/images/game-maze-craze.jpg">';
break;
case 9:
echo $location;
echo 'gridfocus/images/game-pac-man.jpg">';
break;
case 10:
echo $location;
echo 'gridfocus/images/game-pong.jpg">';
break;
case 11:
echo $location;
echo 'gridfocus/images/game-robotron.jpg">';
break;
case 12:
echo '';
echo '';
break;
}
}