document.write('0356\n');