for(;$=readline();)print(eval($.replace(/,/g,'*')))