document.write('0399\n');