document.write("\"Leão\"/
/**/\n");