//	no need to alter anything here: we're just writing out the link with javascript

if (!document.getElementById)
	document.write('<link rel="stylesheet" type="text/css" href="filters/v4.css" media="screen">');