document.write('0951\n');