// Menu Hover

function menuchange(thatform) {
	top.location.href = thatform.linkmenu.options[thatform.linkmenu.selectedIndex].value;
	return true;}
function sobre(src,Color) {
    if (!src.contains(event.fromElement)) {
	  src.style.cursor = 'hand';
	  src.bgColor = Color;}}
function fuera(src,Color2) {
	if (!src.contains(event.toElement)) {
	  src.style.cursor = 'default';
	  src.bgColor = Color2;}}
function pulsar(src) {
    if(event.srcElement.tagName=='TD'){
	  src.children.tags('A')[0].click();}}