document.write('710042');