function main(input){
  const L = parseInt(input.split(" ")[0],10);
  const R = parseInt(input.split(" ")[1],10);
  var arr=[];

  for(var i=L; i<R; i++){
    for(var j=i+1; j<=R; j++){
      arr.push((i*j)%2019);
    }
  }
  console.log(Math.min.apply(null,arr));
}

main(require('fs').readFileSync('/dev/stdin', 'utf8'));