										<!--
										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 producto Valco' href='producto-conversion.php'><img alt='logo' border='0' src='../images/logos/logoempresa7.gif'></a>"
										random_text[number++] = "<a title='Ir a producto Faro' href='producto-corrugador.php'><img alt='logo' border='0' src='../images/logos/logoempresa8.gif'></a>"
										random_text[number++] = "<a title='Ir a producto Helmold' href='producto-troquelado.php'><img alt='logo' border='0' src='../images/logos/logoempresa9.gif'></a>"
										random_text[number++] = "<a title='Ir a producto National' href='producto-troquelado.php'><img alt='logo' border='0' src='../images/logos/logoempresa10.gif'></a>"
										random_text[number++] = "<a title='Ir a producto Zenith' href='producto-conversion.php'><img alt='logo' border='0' src='../images/logos/logoempresa11.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]);
