function timer()
{
  b_history.src="images/button_history_off.gif";
}