function makeargs($string) {
  $string = explode(' ', $string);
  $out = Array();
  foreach($string as $a)
    if($a != '') $out[] = $a;
  return $out;
}