document.write('940008');