function ScrollToElement(element) {
    var xPos, yPos;
    var prm = Sys.WebForms.PageRequestManager.getInstance();
    if (element) {
        if ($get(element)) {
            prm.add_beginRequest(BeginRequestHandler);
            prm.add_endRequest(EndRequestHandler);
        }
    }
    function BeginRequestHandler(sender, args) {
        xPos = $get(element).scrollLeft;
        yPos = $get(element).scrollTop;
    }
    function EndRequestHandler(sender, args) {
        $get(element).scrollLeft = xPos;
        $get(element).scrollTop = yPos;
    }
}

function ScrollToSelected(set) {
    if (set==true) {
        setTimeout("location.hash='#selected'", 0);
    }
    else {
            //setTimeout("location.hash='#none'", 0);
    }
}

function ScrollToObjects(set) {
    if (set == true) {
        setTimeout("location.hash='#objects'", 0);
    }
    else {
            //setTimeout("location.hash='#none'", 0);
    }
}

function copyToClipboard(s) {
    if (window.clipboardData && clipboardData.setData) {
        clipboardData.setData("Text", s);
    }
    else {
        //		user_pref("signed.applets.codebase_principal_support", true);
        //		netscape.security.PrivilegeManager.enablePrivilege('UniversalXPConnect');
        //		
        //		var clip Components.classes['@mozilla.org/widget/clipboard;[[[[1]]]]'].createInstance(Components.interfaces.nsIClipboard);
        //		if (!clip) return;

        //		// create a transferable
        //		var trans = Components.classes['@mozilla.org/widget/transferable;[[[[1]]]]'].createInstance(Components.interfaces.nsITransferable);
        //		if (!trans) return;

        //		// specify the data we wish to handle. Plaintext in this case.
        //		trans.addDataFlavor('text/unicode');

        //		// To get the data from the transferable we need two new objects
        //		var str = new Object();
        //		var len = new Object();
        //		var str = Components.classes["@mozilla.org/supports-string;[[[[1]]]]"].createInstance(Components.interfaces.nsISupportsString);
        //		var copytext=meintext;
        //		str.data=copytext;
        //		trans.setTransferData("text/unicode",str,copytext.length*[[[[2]]]]);
        //		var clipid=Components.interfaces.nsIClipboard;
        //		if (!clip) return false;
        //		clip.setData(trans,null,clipid.kGlobalClipboard);	   
    }
}