function insertMenu( )
{
var sep = Math.floor ( Math.random ( ) * 5 ); // There are 5 christmas banners - 0 to 4

document.write( '<div class="centre clr">');

//document.write( '<div>');
document.write( '<hr width="75%" class="hr1 christmas' + sep + '"/>\n');
//document.write( '</div>');

document.write( '<div id="subMenu" class="siteNav block"></div>' );

//document.write( '<div>');
document.write( '<hr width="75%" class="hr2 clr christmas' + sep + '"/>');
//document.write( '</div>');

document.write( '</div>');
}
insertMenu();