var a_filetype = new Object(); a_filetype['default'] = Array('/gedit/images/filetype/ext_default.gif', 'document'); a_filetype['doc'] = Array('/gedit/images/filetype/ext_doc.gif', 'word document'); a_filetype['gif'] = Array('/gedit/images/filetype/ext_gif.gif', 'gif afbeelding'); a_filetype['htm'] = Array('/gedit/images/filetype/ext_htm.gif', 'html document'); a_filetype['jpg'] = Array('/gedit/images/filetype/ext_jpg.gif', 'jpeg afbeelding'); a_filetype['pdf'] = Array('/gedit/images/filetype/ext_pdf.gif', 'pdf document'); a_filetype['ppt'] = Array('/gedit/images/filetype/ext_ppt.gif', 'powerpoint presentatie'); a_filetype['pps'] = Array('/gedit/images/filetype/ext_ppt.gif', 'powerpoint presentatie'); a_filetype['txt'] = Array('/gedit/images/filetype/ext_txt.gif', 'tekst document'); a_filetype['xls'] = Array('/gedit/images/filetype/ext_xls.gif', 'excel spreadsheet'); function get_filetype_key(s_filename) { var s_retval = ''; var pattern = /^.*\.(\w+)/i; if(pattern.test(s_filename)) s_retval = RegExp.$1 s_retval = s_retval.toLowerCase(); if(!a_filetype[s_retval]) s_retval = 'default'; return s_retval; } function externalLinks() { if (document.getElementsByTagName) { an = document.getElementsByTagName("a"); for (i=0; i