document.write('0581\n');