function DoNothing()
{
	return 0;
}

function noenter() {
  return !(window.event && window.event.keyCode == 13); }