function reply(name) {
    var comment;
    if (comment = $('comment')) {
        var replyStr = '@' + name + ' ';
        if (comment.value.substr(0, replyStr.length) != replyStr)
            comment.value = replyStr + comment.value;
        comment.focus();
    }
}

function $(id) {
    var ele;
    if (ele = document.getElementById(id))
        return ele;
    alert('I\'m sorry, but it seems the page hasn\'t finished loading.');
    return null;
}