string ha[80]
var weit;

function get_ha()
{
  inkey(ha);
  if(result == 13)
  {
    weit = str_to_num(ha);
    if(weit == 1) 
    ...
  }
}