document.write('0383\n');