/**
 * function to flip main image picture randomly
 */
function fliphome()
{
	document.mainpic.src = "img/" + (Math.floor(Math.random() * 7)) + ".jpg";
}

/**
 * function to flip main image picture by name
 */
function flipimage(image)
{
  //document.getElementById("mainpic").src = "img/" + image + ".jpg";
  //document.images['mainpic'].src = "img/" + image + ".jpg";
	document.mainpic.src = "img/" + image + ".jpg";
}