function keyDown( evt )
{
	if( testKeyCode( evt, 13 ) ) //enter
		save();
}

function setFocus( controlName )
{
    window.focus();
    document.getElementById( controlName ).focus();
}

function forgotPortalURL()
{
    window.location.href = "r.sh?content=Navigation/PortalChooser&forgot=1" 
}

function closeApp()
{
	if ( confirm( 'This will close your current browser window.\nContinue?' ) )
		top.close();
}

function gotoPortal( portalURL )
{
    window.location.href = 'index.sh?portal=' + portalURL +
        ( isRunningStartaOptimized ? "&opened=1&sized=1" : "" );
}