function random_text(){
var myText=new Array()
	myText[1]=" Industrial Safety Training Council "
	myText[2]=" South Hampton Resources "
	myText[3]=" AT&T. Your world. Delivered. "
	myText[4]=" Ohmstede "
	myText[5]=" TOTAL Petrochemicals USA "
	myText[6]=" Triple 'S' Industrial Corporation "
	myText[7]=" Memorial Hermann Baptist Beaumont "
	myText[8]=" Chevron Phillips Chemical Company "


		var ry=Math.floor(Math.random()*myText.length)
		
		if (ry==0)
		ry=1
			document.write(myText[ry])
		}
		
		random_text()