// JavaScript Document
var destination = ["","tv_ada_synopsis.php","tv_doaj_synopsis.php","tv_hkkc_synopsis.php","tv_powerrtrip_synopsis.php","tv_sati_synopsis.php","tv_sem_synopsis.php","tv_wrmk_synopsis.php"];
function region(pick){
if (pick != 0)
location.href = destination[pick];
}