// JavaScript Document

function browserTrace( msg )
{
	window.alert( 'browserTrace: "' + msg + '"' );
}