	<!--
	function random_text()
	{};
var random_text = new random_text();

									// Set the number of text strings to zero to start
									var number = 0;

									// Incremental list of all possible Text
									random_text[number++] = "<a title='Ir a CUE' href='producto-troquelado.php'><img alt='logo' border='0' src='../images/logos/logoempresa3.gif'></a>"
									random_text[number++] = "<a title='Ir al producto Terdeca' href='producto-corrugador.php'><img alt='logo' border='0' src='../images/logos/logoempresa4.gif'></a>"
									random_text[number++] = "<a title='Ir al producto 3M' href='producto-flexografia.php'><img alt='logo' border='0' src='../images/logos/logoempresa5.gif'></a>"
									random_text[number++] = "<a title='Ir al producto Du pont' href='producto-corrugador.php'><img alt='logo' border='0' src='../images/logos/logoempresa6.gif'></a>"
									// Create a random number with limits based on the number
									// of possible random text strings
									var random_number = Math.floor(Math.random() * number);

									// Write out the random text to the browser
									document.write(random_text[random_number]);
