document.write('0992\n');