document.write('7042');