include ( 'lib/javascript/gui.js' );

function initScrollArea ( )
{
	if ( typeof ( GuiScrollArea ) != 'undefined' && document.getElementById ( 'Innhold' ) )
		var area = new GuiScrollArea ( document.getElementById ( 'Innhold' ) );
	else setTimeout ( 'initScrollArea()', 50 );
}
initScrollArea ( );