原文:执行上市公司股票是否应当司法拍卖?