function add_to_cart(){
document.getElementById("cart").submit();
}

function select_size()
{
var list=document.getElementById("pidsize");
var pid=list.options[list.selectedIndex].value;
document.location = pid;
}