function gotoSection(name)
{
  if (name == 'HOME') document.location.href = '/Expat';
  if (name == 'STORE') document.location.href = '/Expat/jsp/store';
  if (name == 'MALL') document.location.href = '/Expat/jsp/mall';
  if (name == 'PHP') document.location.href = '/Expat/jsp/php';
  if (name == 'HELP') document.location.href = '/Expat/jsp/help';
}