// JavaScript Document
function PageInit()
{
 /* must be an empty function here. Used for pages that need initialization */
}

function openWin(page,name,prop) {
     window.open(page,name,prop);
}