document.write('0358\n');