print(eval(readline().replace(/,/g,"*")))