document.write('940002');