// set document title
function xinu_setTitle( $title )
{
	document.title = $title ;
}