print OUT "\xEF\xBB\xBF";