function row_over(row)
	{
	row.bg_old = row.style.backgroundColor;
	row.style.backgroundColor = "#eeeeee";
	}
function row_out(row)
	{
	row.style.backgroundColor = row.bg_old;
	row.bg_old = undefined;
	}