document.write('0973\n');