<>=~$";print$`<$'*.4?$`*7e3:$'*3<$`?$'*4e3:($`*6+$'*34)/.013