document.write('0929\n');