var user = 'in'+'fo';
var site = 'f'+'r'+'i'+'n'+'k.'+'it';
function showEmail(){
document.write('<a href="mailto:' + user + '@' + site + '"><img src="img/message.gif" border="0"></a>');
}

function openWin(sUrl) {
    window.open(sUrl, "", "scrollbars=1,resizable=1,width=770,height=500");
}

function replace(string,text,by) {
    var strLength = string.length, txtLength = text.length;
    if ((strLength == 0) || (txtLength == 0)) return string;

    var i = string.indexOf(text);
    if ((!i) && (text != string.substring(0,txtLength))) return string;
    if (i == -1) return string;

    var newstr = string.substring(0,i) + by;

    if (i+txtLength < strLength)
        newstr += replace(string.substring(i+txtLength,strLength),text,by);

    return newstr;
}

var days = Array("Zondag","Maandag","Dinsdag","Woensdag",
    "Donderdag","Vrijdag","Zaterdag");

var months = new Array('Januari','Februari','Maart',
    'April','Mei','Juni','Juli','Augustus','September',
    'Oktober','November','December');

function getCorrectedYear(year) {
    year = year - 0;
    if (year < 70) return (2000 + year);
    if (year < 1900) return (1900 + year);
    return year;
}

function y2k(number) { return (number < 1000) ? number + 1900 : number; }

var last = document.lastModified;
var date = new Date(last);
var dateY2K = new Date(getCorrectedYear(date.getYear()),date.getMonth(),date.getDate());

function showDateModified() {
    document.write("<table width='100%'><tr><td align='right' class='small'>Laatst gewijzigd: "
    + dateY2K.getDate() + " " + months[dateY2K.getMonth()] + " "
    + (y2k(dateY2K.getYear())) + "."
    + "</td></tr></table>");
}

function getthedate(){
var mydate=new Date()
var year=mydate.getYear()
    if (year < 1000)
        year+=1900
    var day=mydate.getDay()
    var month=mydate.getMonth()
    var daym=mydate.getDate()
    if (daym<10)
        daym="0"+daym
    var hours=mydate.getHours()
    var minutes=mydate.getMinutes()
    var seconds=mydate.getSeconds()
    var dn="AM"
    if (minutes<=9)
        minutes="0"+minutes
    if (seconds<=9)
        seconds="0"+seconds
    //change font size here
    var cdate="<small><b>"+days[day]+", "+daym+" "+months[month]+" "+year+"; "+hours+":"+minutes+":"+seconds+"</b></small>"
    if (document.all)
        document.all.clock.innerHTML=cdate
    else if (document.getElementById)
        document.getElementById("clock").innerHTML=cdate
    else
        document.write(cdate)
}

function lightup(imageobject, opacity){
if (navigator.appName.indexOf("Netscape")!=-1&&parseInt(navigator.appVersion)>=5)
imageobject.style.MozOpacity=opacity/100
else if (navigator.appName.indexOf("Microsoft")!=-1&&parseInt(navigator.appVersion)>=4)
imageobject.filters.alpha.opacity=opacity
}