function Main(input) {
    input = input.split("\n");
  	var a = parseInt(input[0], 10);
    var b=Math.floor(a/500);
  	var c=Math.floor((a%500)/5);
  	console.log(b*1000+c*5);
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));