document.write('0571\n');