// JavaScript Document

function randomize() {
	var rand = Math.round(Math.random()*(4));
	var rand = rand + 1;
     document.write("<img src='/imgs/tagline" + rand + ".gif'>");
}