void onReset(external ch)
{
  do("sleep");
}