// Generic utilities that can be used on various pages on the site.
//
// Written 28 Nov 2008 robv.
// Last modified 28 Nov 2008 robv.

function pause (time) {
    setTimeout ('wait()', time);
}

function wait() {
}

/*
    function Func1()

    {
	alert("Delayed 3 seconds");
    }

    function Func1Delay()
    {
	setTimeout("Func1()", 3000);
	alert('i am first i am first ');
    }
*/