document.write('0931\n');