var page = new String(window.parent.location);

var top_tab_language1 = new String("../navigation/top-tab-language-1.gif");
var top_tab_language1_selected = new String("../navigation/top-tab-language-1-selected.gif");
var top_tab_language2 = new String ("../navigation/top-tab-language-2.gif");
var top_tab_language2_selected = new String("../navigation/top-tab-language-2-selected.gif");
var top_tab_language3 = new String("../navigation/top-tab-language-3.gif");
var top_tab_language3_selected = new String("../navigation/top-tab-language-3-selected.gif");