document.write('802042');