function update_check_results(pos){
    new Ajax.Updater('checkresults', 'loading', {method: 'post'});
    url = 'check_model?pos=' + pos;
    new Ajax.Updater('checkresults', url, {method: 'post'});
};