// JavaScript Document
var num_grifo = 0;
function arriba() {
	num_grifo = (num_grifo + 1) % 4;
	MM_swapImage( "grifo", "", "images/grifo_"+ num_grifo +".gif", 1 );
}
function abajo() {
	num_grifo = num_grifo - 1;
	if( num_grifo < 0 ) num_grifo = 3;
	MM_swapImage( "grifo", "", "images/grifo_"+ num_grifo +".gif", 1 );
}