// JavaScript Document
var undefined;

function HREF(URL,target,attributes) {
	if (target=="" || target==undefined) target="_self";
	window.open(URL,target,attributes);
	}