#include <stdio.h>
#include <stdlib.h>

int readline( char * str ) {
    int i = 0;
    char ch;
    while ( (ch = getchar() ) != '\n' ) {
        str[i++] = ch;
    }
    str[i] = '\0';
    return i;
}

long long int lcs ( char * s , char * t , int ls , int lt ) {

    int i , j;
    int LEFT = 2;
    int TOP = 1;
    int CROSS = 3;
    int array[1002][1002];
    int dir[1002][1002];
    for ( i = 0 ; i < ls+1 ; i++ ) {
        for ( j = 0 ; j < lt+1 ; j++ ) {
            if ( j == 0 ) {
                array[i][j] = 0;
                dir[i][j] = TOP;
            }
            else if ( i == 0 ) {
                array[i][j] = 0;
                dir[i][j] = LEFT;
            }
            else if ( s[i-1] == t[j-1] ) {
                array[i][j] = array[i-1][j-1] + 1;
                dir[i][j] = CROSS;
            }
            else if ( array[i-1][j] > array[i][j-1] ) {
                array[i][j] = array[i-1][j];
                dir[i][j] = TOP;
            }
            else if ( array[i][j-1] > array[i-1][j] ) {
                array[i][j] = array[i][j-1];
                dir[i][j] = LEFT;
            }
            else {
                array[i][j] = array[i][j-1];
                dir[i][j] = LEFT;
            }
        }
    }
    /*printf("***************************************************************\n");
    printf("Array\n");
    for ( i = 0 ; i < ls+1 ; i++ ) {
        for ( j = 0 ; j < lt+1 ; j++ ) {
            printf("%d " , array[i][j] );
        }
        printf("\n");
    }
    printf("DIRECTION\n");
    for ( i = 0 ; i < ls+1 ; i++ ) {
        for ( j = 0 ; j < lt+1 ; j++ ) {
            printf("%d " , dir[i][j] );
        }
        printf("\n");
    }
    */
    i = ls;
    j = lt;
    long long int sum = 0;

    while ( ! (i == 0 && j == 0) ) {
        if ( dir[i][j] == LEFT ) {
            sum += 30;
            j -= 1;
        }
        else if ( dir[i][j] == TOP ) {
            sum += 15;
            i -= 1;
        }
        else {
            i -= 1;
            j -= 1;
        }
    }

    return sum;
}

int main ( int argc , char * argv[] ) {

    char * s = ( char * ) malloc ( 1001 * sizeof(char) );
    char * t = ( char * ) malloc ( 1001 * sizeof(char) );

    int ls , lt;

    int i = 0 , j = 0;

    ls = readline(s);

    while ( s[0] != '#' && ls != -1 ) {
        lt = readline(t);

        printf("%lld\n" , lcs(s,t,ls,lt));

        ls = readline(s);
    }

    free(s);
    free(t);

    return 0;
}