process.stdin.resume()
process.stdin.setEncoding('utf8')
var g_input = ''
process.stdin.on('data', function(chunk) {
    g_input += chunk
})
process.stdin.on('end', function() {
    main(g_input.split(/\r?\n/))
})
function main(input){
  let s = input[0]
  let t = input[1]

  for(let i=1;i<t.length;i++){
    let tl = []
    for(let j=0;j<t.length;j++){
      let tt = t.split('')
      if(tt.splice(j,i).length != i)break
      tl.push(tt.join(""))
    }
    for(let j of tl){
      if(s.match(j)){
        console.log(i)
        return
      }
    }
    
  }
}