function user_score_retrieve(game_special_id) {
	ajax_send_form(	"content_result",
									"_jeux/scripts/user_score_retrieve.php",
									"game_special_id="+game_special_id,
									""
									);
}
function user_score_retrieve_back(score, scores_for_rank) {
	document.getElementById("id_swf_game").user_score_retrieve_back(score,scores_for_rank);
}
// Check and save
function user_score_save(score, game_special_id) {
	ajax_send_form(	"content_result",
									"_jeux/scripts/user_score_save.php",
									"score="+score+"&game_special_id="+game_special_id,
									""
									);
}

// Check and save
function game_score_save(score, game_special_id) {
	ajax_send_form(	"content_result",
									"_jeux/scripts/game_score_save.php",
									"score="+score+"&game_special_id="+game_special_id,
									""
									);
}
function game_score_save_back(result) {
	document.getElementById("id_swf_game").game_score_save_back(result);
}
//--------------------------------------------------------------------
// simply reload the page. problem if href ends with '#'
function reload_page(){
	var url;
	var href = document.location.href;
	if (href.substr(-1, 1) == "#"){ url = href.substr(0, -1) }else{ url = href; } 
	document.location = url;
}