document.write('940133');