#include <stdio.h>

int main(){
	int coin1, coin5;
	scanf("%d%d",&coin1,&coin5);
	
	int max = 0;
	for(int i = 0;i <= coin5;i++){
		for(int j = 0;j <= coin1;j++){
			if (!(i == 0 && j == 0 || max >= 5 * i + j)) {
				printf("%d",i * 5 + j * 1);
				max = 5 * i + j;
			}
		}
	}
}