function sure (in_text) {
	var in_text = (in_text == null) ? "Are you sure?" : in_text;
	return confirm(in_text);
}

function login (url) {
	document.location(url);
}

function htmlspecialchars(string, quote_style) {    
    string = string.toString();
    
    // Always encode
    string = string.replace(/&/g, '&');
    string = string.replace(/</g, '&lt;');
    string = string.replace(/>/g, '&gt;');
    
    // Encode depending on quote_style
    if (quote_style == 'ENT_QUOTES') {
        string = string.replace(/"/g, '&quot;');
        string = string.replace(/'/g, '&#039;');
    } else if (quote_style != 'ENT_NOQUOTES') {
        // All other cases (ENT_COMPAT, default, but not ENT_NOQUOTES)
        string = string.replace(/"/g, '&quot;');
    }
    
    return string;
}