org_col="null";
function col_on(obj){
	org_col=obj.style.backgroundColor;
	obj.style.backgroundColor='#669933';
}
function col_off(obj){
	obj.style.backgroundColor=org_col;
}
function jmp2menu(tgt){
	parent.body.location.href=tgt;
}