#![allow(dead_code, unused_variables, unused_macros)] fn is_leapyear(y: usize) -> bool { match (y % 400, y % 100, y % 4) { (0, _, _) => true, (_, 0, _) => false, (_, _, 0) => true, _ => false, } } fn solve(y: usize, m: usize, d: usize) -> (usize, usize, usize) { let (mut y, mut m, mut d) = (y, m, d); let mut days = vec![31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]; if is_leapyear(y) { days[1] = 29; } d += 2; if d > days[m - 1] { d -= days[m - 1]; m += 1; if m > 12 { m = 1; y += 1; } } (y, m, d) } fn main() { input!(s:String); let v: Vec<_> = s.split("/").map(|s| s.parse::().unwrap()).collect(); let (y, m, d) = solve(v[0], v[1], v[2]); println!("{}/{:>02}/{:>02}", y, m, d); } mod xxx { // https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8 #[macro_export] macro_rules! input { (source = $s:expr, $($r:tt)*) => { let mut iter = $s.split_whitespace(); let mut next = || { iter.next().unwrap() }; input_inner!{next, $($r)*} }; ($($r:tt)*) => { let stdin = std::io::stdin(); let mut bytes = std::io::Read::bytes(std::io::BufReader::new(stdin.lock())); let mut next = move || -> String{ bytes .by_ref() .map(|r|r.unwrap() as char) .skip_while(|c|c.is_whitespace()) .take_while(|c|!c.is_whitespace()) .collect() }; input_inner!{next, $($r)*} }; } #[macro_export] macro_rules! input_inner { ($next:expr) => {}; ($next:expr, ) => {}; ($next:expr, $var:ident : $t:tt $($r:tt)*) => { let $var = read_value!($next, $t); input_inner!{$next $($r)*} }; } #[macro_export] macro_rules! read_value { ($next:expr, ( $($t:tt),* )) => { ( $(read_value!($next, $t)),* ) }; ($next:expr, [ $t:tt ; $len:expr ]) => { (0..$len).map(|_| read_value!($next, $t)).collect::>() }; ($next:expr, chars) => { read_value!($next, String).chars().collect::>() }; ($next:expr, usize1) => { read_value!($next, usize) - 1 }; ($next:expr, bits)=>{ u64::from_str_radix(&$next(), 2).expect("Parse error") }; ($next:expr, hexs)=>{ u64::from_str_radix(&$next(), 16).expect("Parse error") }; ($next:expr, $t:ty) => { $next().parse::<$t>().expect("Parse error") }; } }