function gfxBgcolor() {
	return "#EEEEEE";
}