document.write('0491\n');