function getDOMFile()
{
if (document.getElementById)
	return 'byid.js';
if (document.all) 
	return 'all.js';
if (document.layers)
	return 'lyrs.js';
}


function writeDom()
{
var str='<script language="JavaScript1.2" type="text/javascript" src="scripts/';
str += getDOMFile();
str+='"></script>';
document.write(str);
}