What consoles was Shenmue released on?
create table table_12887260_1 (console varchar, franchise_or_game varchar, PRIMARY KEY (console))
select console from table_12887260_1 where franchise_or_game = "shenmue"