version = navigator.appVersion.toLowerCase();
agent = navigator.userAgent.toLowerCase();
ie = (version.indexOf('msie')>-1);
win = (version.indexOf('windows')>-1);
opera = (agent.indexOf('opera')>-1);
ie50 = (version.indexOf('msie 5.0')>-1);

function prn() {
document.write(' \| \074a href=\"javascript:goprn();\"\076print\074/a\076');
}
function goprn() {
window.print();
}
function fav() {
if ((opera) && (win)) return false;
else if ((ie) && (win)) document.write(' \| \074a href=\"javascript:gofav();\"\076add to bookmarks\074/a\076');
}
function gofav() {
window.external.addFavorite('http://www.viewdio.eu','VIEWdio.eu');
}