/* fuer navi */
$arrow_horizon = new Image(); $arrow_horizon.src = "/pix/nav_pfeil_horizontal.gif";
$arrow_vertical = new Image(); $arrow_vertical.src = "/pix/nav_pfeil_vertikal.gif";
$arrow_none = new Image(); $arrow_none.src = "/pix/spg_trans.gif";

/* fuer aufklapp-content */
$digit_off = new Image(); $digit_off.src = "/pix/comp_digit_inact.gif";
$digit_on = new Image(); $digit_on.src = "/pix/comp_digit_act.gif";