document.write('0949\n');