<?php

echo 'RECEITU\u00c1RIOS';
echo PHP_EOL;
echo json_encode('Á');