<!--
function link(file)
{
window.location.href = file;
}
//-->
<!--
function goBack(a)
{
	history.go(a);
}
//-->