begin write(12.123); end.