function back() {
history.go(-1);
}
function trans() {
var URL=document.location;
var formurl = 'http://translate.google.com/translate?u=' + URL + '&langpair=it%7Cen&hl=it&ie=UTF-8&oe=UTF-8&prev=/language_tools';
window.open(formurl);
}