// JavaScript Document
function roll_over(img_name, img_src)
{
document[img_name].src = img_src;
}
function display_flash(filename, fHeight, fWidth) {
document.write('')
}
function display_flash_transparent(filename, fHeight, fWidth) {
document.write('')
}