/*Used in IconBar for Shortcuts*/
function visitShortcut(ddl){
	var ddl=ddl.replace(".","\\.");
	var url=$(ddl).val();
	var pair=url.split(";");
	if(pair[1]=='1'){
		window.open(pair[0]);
	}else{
		window.location.replace(pair[0]);
	}
	return false;
}