document.write('0996\n');