function tagline(){

var r_text = new Array ();
r_text[0]='tagline1.gif';
r_text[1]='tagline2.gif';
r_text[2]='tagline3.gif';
r_text[3]='tagline4.gif';
r_text[4]='tagline5.gif';

var i = Math.floor(Math.random()*5)

return (r_text[i]);

}