process.stdin.resume();
process.stdin.setEncoding('utf8');
 
// your code goes here
 
let unix_timestamp = 1582146000
// Create a new JavaScript Date object based on the timestamp
// multiplied by 1000 so that the argument is in milliseconds, not seconds.
var date = new Date(unix_timestamp * 1000);
// Hours part from the timestamp
var hours = date.getHours();
// Minutes part from the timestamp
var minutes = "0" + date.getMinutes();
// Seconds part from the timestamp
var seconds = "0" + date.getSeconds();
 
// Will display time in 10:30:23 format
var formattedTime = hours + ':' + minutes.substr(-2) + ':' + seconds.substr(-2);
 
console.log(formattedTime);
 
console.log(date.getDay());
 

cHJvY2Vzcy5zdGRpbi5yZXN1bWUoKTsKcHJvY2Vzcy5zdGRpbi5zZXRFbmNvZGluZygndXRmOCcpOwoKLy8geW91ciBjb2RlIGdvZXMgaGVyZQoKbGV0IHVuaXhfdGltZXN0YW1wID0gMTU4MjE0NjAwMAovLyBDcmVhdGUgYSBuZXcgSmF2YVNjcmlwdCBEYXRlIG9iamVjdCBiYXNlZCBvbiB0aGUgdGltZXN0YW1wCi8vIG11bHRpcGxpZWQgYnkgMTAwMCBzbyB0aGF0IHRoZSBhcmd1bWVudCBpcyBpbiBtaWxsaXNlY29uZHMsIG5vdCBzZWNvbmRzLgp2YXIgZGF0ZSA9IG5ldyBEYXRlKHVuaXhfdGltZXN0YW1wICogMTAwMCk7Ci8vIEhvdXJzIHBhcnQgZnJvbSB0aGUgdGltZXN0YW1wCnZhciBob3VycyA9IGRhdGUuZ2V0SG91cnMoKTsKLy8gTWludXRlcyBwYXJ0IGZyb20gdGhlIHRpbWVzdGFtcAp2YXIgbWludXRlcyA9ICIwIiArIGRhdGUuZ2V0TWludXRlcygpOwovLyBTZWNvbmRzIHBhcnQgZnJvbSB0aGUgdGltZXN0YW1wCnZhciBzZWNvbmRzID0gIjAiICsgZGF0ZS5nZXRTZWNvbmRzKCk7CgovLyBXaWxsIGRpc3BsYXkgdGltZSBpbiAxMDozMDoyMyBmb3JtYXQKdmFyIGZvcm1hdHRlZFRpbWUgPSBob3VycyArICc6JyArIG1pbnV0ZXMuc3Vic3RyKC0yKSArICc6JyArIHNlY29uZHMuc3Vic3RyKC0yKTsKCmNvbnNvbGUubG9nKGZvcm1hdHRlZFRpbWUpOwoKY29uc29sZS5sb2coZGF0ZS5nZXREYXkoKSk7Cg==