print int(raw_input()) * 3.5