javascript highlight (again)