// function bannerpic() {
var i;
var cent = "<center>";
var centoff = "</center>";

document.write(cent);
img = new Array(7);
for (i=0; i<7; i++) {
 	img[i] = "<img border='0' img src='/lux/banner/lux_title." + i + ".jpg' alt='A glimpse of Luxembourg, taken at random from our *Images of Luxembourg*' width='1024' height='84'>";
}
ind = Math.floor(Math.random()*7);
document.write(img[ind]);
document.write(centoff);