document.write('0594\n');