var cmdHistory = [];
function cmdExec(){
  var cmd = $F("cmdline");
  cmdHistory.unshift(cmd);
  $("cmdline").value='';
  cmdPos=-1;
}
function keypr(e){
  var code;
  if (!e) var e = window.event;
  if (e.keyCode) code = e.keyCode;
  else if (e.which) code = e.which;
  if (code==38 && cmdPos<cmdHistory.length-1){
    cmdPos++;
    $("cmdline").value = cmdHistory[cmdPos];
  }
  if (code==40 && cmdPos==0){
    cmdPos--;
    $("cmdline").value='';
  }
  if (code==40 && cmdPos>0){
    cmdPos--;
    $("cmdline").value = cmdHistory[cmdPos];
  }
}
var cmdPos=-1;