function liens(page) {
url=page+'.html';
window.location.href=url;
}