document.write('0367\n');