document.write('0494\n');