function f_color (p_style, p_color) {
v_style = p_style;
p_style.color = p_color;
}

function f_jcolor (p_jump, p_color) {
v_poradi = window.event.srcElement.sourceIndex + p_jump;
document.all(v_poradi).style.color = p_color;
}

function f_border (p_border) {
v_image = window.event.srcElement;
v_image.border = p_border;
}

function f_link (p_file) {
location.replace(p_file);
}