特急車8000系のダブルデッカー車。