// JavaScript Document
var ventana_url=""
function change(e, color){
var el=window.event? event.srcElement: e.target
if (el.tagName=="INPUT"&&el.type=="button")
el.style.backgroundColor=color
}
function envia(url){
if (ventana_url=="")
window.location=url
else if (ventana_url=="_new")
window.open(url)
else
parent[ventana_url].location=url
}