document.write('0842\n');