// <!--
// Funcion que pulsa la imagen identificada por un numero.
// Forma de uso: pulsar (3)
function pulsar(imagen) 
{
	eval('document.i'+imagen+'.src="imagenes/b'+imagen+'p.gif";');
}  
// Funcion que quita la pulsacion de la imagen identificada por un numero.
// Forma de uso: despulsar (3)
function despulsar(imagen) 
{
	eval('document.i'+imagen+'.src="imagenes/b'+imagen+'.gif";');
}  

function pulsarv () 
{
	document.v.src="imagenes/bv1p.gif";
}  

function despulsarv() 
{
	document.v.src="imagenes/bv1.gif";
}  

function pulsars () 
{
	document.s.src="imagenes/bs1p.gif";
}  

function despulsars() 
{
	document.s.src="imagenes/bs1.gif";
}  

// -->