document.write('0993\n');