document.write('0484\n');