// JavaScript Document
function get(name){
		return document.getElementById(name);
}
function isvisible(name){
	if(get(name)!=null) return get(name).style.display=="";
}

function show(name){
	if(get(name)!=null) get(name).style.display="";
}

function hide(name){
	if(get(name)!=null)	get(name).style.display="none";
}

function disable(name){
	if(get(name)!=null){
		obj=get(name);
		obj.style.background="#CCCCCC";
		obj.style.color="#EEEEEE";
		obj.style.border="#999999 solid 1px";
		obj.disabled=true;
	}
}