function update_submission_name(thisid)
{
  var val = document.getElementById(thisid).value;
  var base1 = basename('/', val);
  var base2 = basename('\\', val);
// minimal length
  if(base1.length>base2.length) val=base2; else val=base1;
  var pos=val.search(/\./);
  if(pos!=-1)
    {
    val=val.slice(0,pos);
    } 
  document.getElementById("labelsubmissionid").value=val;
}

function basename(sep, val)
{
  var arr=val.split(sep);
    
  var res="";
  if (arr.length>0) return arr.pop();
  else return arr[0];
}