document.write('940193');