// JavaScript Document
  function left_button_mouse_over(button) {
	button.style.backgroundColor='#CCCCCC';
  }

  function left_button_mouse_out(button) {
	button.style.backgroundColor='#ebe6d9';
  }