begin
write(123456.123456:4:5);
end.