document.write('0378\n');