echo $((`cat -`*2))