function newLocation(file)
{
var a = file;
window.location=a;
}