function setimage(file)
{
    document.getElementById('mainpic').src='/images/products/medium/' + file
}