Topo ( header ) aleatorio

Olá,
tenho um blog e gostaria que alguem me ajudasse, quero colocar um topo aleatorio que mude a imagem cada vez que atualizar.
vi uns foruns mas não consegui usar o comando em php
<img src=”<?php bloginfo(‘template_url’); ?>/img/header<?php echo rand(1,3); ?>.jpg” alt=”Header” />

alguem pode me ajudar