var where;
function get_addr() {
	where = document.location;
}
function c_on(color, element) {
	element.style.background=color; 
	element.style.color='#ffffff';
	element.style.cursor='Hand';
	return true;
}
function c_out(color, element) {
	element.style.background=color;
	element.style.color='#000000';
	return true;
}
function show(dest) {
	document.location = dest;
	return true;	
}