// JavaScript Document
var header_imageTags = new Array();
var header_imageTags_num = Math.floor(Math.random()*3);
header_imageTags[0] = ''
+ '
<\/a>';
header_imageTags[1] = ''
+ '<\/a>';
header_imageTags[2] = ''
+ '<\/a>';
document.write(header_imageTags[header_imageTags_num]);