document.write('0307\n');