function banner() {
var now = new Date();
var seed = now.getTime() % 0xffffffff;

sloganArray = new Array(
	"<IMG SRC=\"../images/banners/leadingdaily.gif\">",
	"<IMG SRC=\"../images/banners/covering.gif\">",
	"<IMG SRC=\"../images/banners/framing.gif\">",
	"<IMG SRC=\"../images/banners/lastfrontier.gif\">"
);
// Random number generator
function rand(n) {
	seed = (0x015a4e35 * seed) % 0x7fffffff;
	return (seed >> 16) % n;
}
document.write(sloganArray[rand(sloganArray.length)])
}