  // inputに入力データ全体が入る
  function Main(input) {
	// 1行目がinput[0], 2行目がinput[1], …に入る
	input = input.split("\n");
	//文字列から10進数に変換するときはparseIntを使います
  var input = Number(input[0]);
  var count500 = Math.floor(input/500);
  var count5 = Math.floor(input%500/5);
  var ans = 1000*count500 + 5*count5;

	//出力
	console.log('%d', ans);
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
