document.write('942003');