function WhichPlatform()
{
  var OS = navigator.platform.toLowerCase();
  if ((OS.indexOf("win") == -1) && (document.getElementById('tv'))) {
  	document.getElementById('tv').style.display = "none";
  	document.getElementById('veohFooter_links').style.paddingLeft = "130px";
	document.getElementById('veohFooter_links').style.width = "840px";
 } 
}